|
Зап. научн. сем. ПОМИ, 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
Citing articles on Google Scholar:
Russian citations,
English citations
Related articles on Google Scholar:
Russian articles,
English articles
|
Просмотров: |
Эта страница: | 123 | Полный текст: | 49 | Литература: | 25 |
|