"Записки научных семинаров ПОМИ"
Том 421, стр. 19-32
Условно обратимые вычисления и слабая универсальность в теории категорий
С. Н. Баранов, С. В. Соловьев
SPIIRAS, Russian Academy of Sciences,
St.Petersburg, Russia
SNBaranov@gmail.com
IRIT, University of Toulouse, France
soloviev@irit.fr
- Аннотация: Основное внимание в статье уделяется понятию слабой универсальности
в теории категорий. В то время как определения, основанные на обычных
универсальных конструкциях, обычно имеют место с точностью до изоморфизмов,
т.е. стрелок, обратимых без всяких условий, слабо универсальные
конструкции могут рассматриваться с ``позитивной'' точки зрения как
предполагающие определимость только с точностью до условной обратимости.
Показано, что слабая универсальность тесно связана с интенсиональным
равенством, типичным для категорий, рассматриваемых в информатике.
Как возможную область применения слабо универсальных категорных
конструкций мы предлагаем условно обратимые вычисления в теории вычислений.
Библ. -- 6 назв.
- Ключевые слова: слабая универсальность в теории категорий; экстенсиональное и интенсиональное равенство; условно обратимые вычисления
[weak universality in categories,
extensional and intensional equality,
conditionnally reversible computations]
Полный текст(.pdf)