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

Вики

Q-категория

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

Вики

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

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

Вики

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

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

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