Substructural Exponential Categories in Category Theory and Categorical Logics. Vladimir L. Vasyukov
Опубликовал: Admin, дата: пн, 2006-12-25 22:10
Автор: Васюков В.Л.
ИЛКиРЛ | Васюков В.Л. | Логика
Автор: Васюков В.Л.
Logical Studies No.9 (2002)
Vladimir L. Vasyukov
Substructural Exponential Categories in Category Theory and Categorical Logics
Концепция категорной логики возникла в рамках теории категорий, но сегодня она превратилось в самостоятельное поле исследований современной логики. В статье показана эквивалентность элементарной теории категорий и категорной логики и рассмотрены некоторые особенности этого результата для случая так называемых подструктурных экспоненциальных категорий.
in English