Википедия

Декартово замкнутая категория: различия между версиями

Интерактивная навигация по истории
[непроверенная версия][непроверенная версия]
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
м →‎Примеры декартово замкнутых категорий: замена на более распостранённый вариант
Строка 11:
'''[[Топос]]''', является декартово замкнутой категорией по определению.
 
'''[[Алгебра ХейтингаГейтинга]]''' также является стандартным примером декартово замкнутой категории. Так как '''[[Булева алгебра]]''' является её частным случаем она тоже всегда будет декартово замкнутой.
 
== Применение ==
Источник — https://ru.wikipedia.org/wiki/Декартово_замкнутая_категория