RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Зап. научн. сем. ПОМИ:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Зап. научн. сем. ПОМИ, 2014, том 421, страницы 19–32 (Mi znsl5746)  

Conditionally reversible computations and weak universality in category theory

[Условно обратимые вычисления и слабая универсальность в теории категорий]

S. N. Baranova, S. V. Solovievb

a SPIIRAS, Russian Academy of Sciences, St. Petersburg, Russia
b IRIT, University of Toulouse, France

Аннотация: Основное внимание в статье уделяется понятию слабой универсальности в теории категорий. В то время как определения, основанные на обычных универсальных конструкциях, обычно имеют место с точностью до изоморфизмов, т.е. стрелок, обратимых без всяких условий, слабо универсальные конструкции могут рассматриваться с “позитивной” точки зрения как предполагающие определимость только с точностью до условной обратимости. Показано, что слабая универсальность тесно связана с интенсиональным равенством, типичным для категорий, рассматриваемых в информатике. Как возможную область применения слабо универсальных категорных конструкций мы предлагаем условно обратимые вычисления в теории вычислений. Библ. – 6 назв.

Ключевые слова: слабая универсальность в теории категорий, экстенсиональное и интенсиональное равенство, условно обратимые вычисления.

Полный текст: PDF файл (245 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Journal of Mathematical Sciences (New York), 2014, 200:6, 654–661

Реферативные базы данных:

Тип публикации: Статья
УДК: 512.58+510.64+510.51
Поступило: 12.11.2013
Язык публикации: английский

Образец цитирования: S. N. Baranov, S. V. Soloviev, “Conditionally reversible computations and weak universality in category theory”, Теория представлений, динамические системы, комбинаторные методы. XXIII, Зап. научн. сем. ПОМИ, 421, ПОМИ, СПб., 2014, 19–32; J. Math. Sci. (N. Y.), 200:6 (2014), 654–661

Цитирование в формате AMSBIB
\RBibitem{BarSol14}
\by S.~N.~Baranov, S.~V.~Soloviev
\paper Conditionally reversible computations and weak universality in category theory
\inbook Теория представлений, динамические системы, комбинаторные методы.~XXIII
\serial Зап. научн. сем. ПОМИ
\yr 2014
\vol 421
\pages 19--32
\publ ПОМИ
\publaddr СПб.
\mathnet{http://mi.mathnet.ru/znsl5746}
\transl
\jour J. Math. Sci. (N. Y.)
\yr 2014
\vol 200
\issue 6
\pages 654--661
\crossref{https://doi.org/10.1007/s10958-014-1955-3}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84940264334}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/znsl5746
  • http://mi.mathnet.ru/rus/znsl/v421/p19

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Записки научных семинаров ПОМИ
    Просмотров:
    Эта страница:123
    Полный текст:48
    Литература:25
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020