Декартово замкнутая категория: различия между версиями
| [отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Bezik (обсуждение | вклад) оформление, шаблонизации, стандартизации |
→Примеры декартово замкнутых категорий: орфография |
||
Строка 12:
== Примеры декартово замкнутых категорий ==
* [[Категория множеств]] естественным образом представляет собой декартово замкнутую категорию, так как функции из одного
* Категория {{math|'''Cat'''}} всех малых категорий (и функторов в качестве морфизмов) декартово замкнута; экспоненциал {{math|''C''<sup>''D''</sup>}} — это [[категория функторов]] из {{math|''D''}} в {{math|''C''}} с [[естественное преобразование|естественными преобразованиями]] в качестве морфизмов. Также существует [[категория произведения]] и терминальный объект — категория {{math|'''1'''}} из одного объекта и одного морфизма.
| |||