Семинар по маломерной математике
20 ноября 2009

Сергей Соловьев
Тулуза

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

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

---
http://www.pdmi.ras.ru/~lowdimma