"Записки научных семинаров ПОМИ"
Том 373, стр. 318-344
Категорная интерпретация логических выводов и некоторые
ее применения в алгебре
А. Эль Кури, С. Соловьев, Л. Меац, М. Спиваковский
IRIT, UMR 5505 CNRS, University of Toulouse,
118 route
de Narbonne, 31062 Toulouse, France
elkhoury@ irit.fr
soloviev@ irit.fr
LaBRI, University of Bordeaux I, 351 Cours de la
Lib\'eration 33405 Talence, France
mehats@labri.fr
Institute of Mathematics, UMR 5219 CNRS,
University of Toulouse, 118 route de Narbonne, 31062
Toulouse, France
spivakov\@math.ups-tlse.fr
- Аннотация:
Рассматриваются некоторые применения теории доказательств к изучению
алгебраических категорий. В литературе обычно рассматривался случай
свободных категорий с дополнительной структурой. В данной статье мы
рассматриваем несколько проблем, возникающих при изучении несвободных
категорий, таких как проблема полной когерентности, проблема зависимости
диаграмм, проблема описания произвольных естественных преобразований,
которые показывают, что теоретико-доказательственные методы обладают
гораздо большими возможностями. Библ. -- 18 назв.
- Ключевые слова: замкнутые категории, естественные преобразования, когерентность,
зависимость диаграмм, полукольца, полумодули
[closed categories, natural transformations, coherence, dependency
of diagrams, semirings, semimodules]
Полный текст(.pdf)