Категорная интерпретация логических выводов и некоторые ее применения в алгебре

Рассматриваются некоторые применения теории доказательств к изучению алгебраических категорий. В литературе обычно рассматривался случай свободных категорий с дополнительной структурой. В данной статье мы рассматриваем несколько проблем, возникающих при изучении несвободных категорий, таких как проблема полной когерентности, проблема зависимости диаграмм, проблема описания произвольных естественных преобразований, которые показывают, что теоретико-доказательственные методы обладают гораздо большими возможностями. Библ. – 18 назв.