Заготовки по теории категорий

Вики

Q-категория

Q-категория Определение Q-категории Q-категория – это “упрощенная версия сайта Гротендика”  Категория Q является корефлексивной подкатегорией  Буква Q означает “частное”  История […]

Вики

Двойственность Исбелла

Двойственность Исбелла Определение и свойства функтора Функтор – это отображение между категориями, сохраняющее структуру.  Функтор является гомоморфизмом в категории множеств. 

Вики

Категория коллекторов

Категория многообразий Категория заостренных многообразий является примером категории с запятой.  Конструкцию касательного пространства можно рассматривать как функтор от Man p

Прокрутить вверх