Conditionally reversible computations and weak universality in category theory

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