wiki-linki.ru - поиск статей википедии и связей между ними

Декартово замкнутая категория


В теории категорий декартово замкнутой называется категория, допускающая интернализацию понятия морфизма. Другими словами, каждому морфизму (....) в ней соответствует некоторый объект (....), представляющий его. Декартово замкнутые категории, находятся, в известном смысле, между абстрактными категориями и теорией множеств, так как позволяют корректно оперировать с функциями, но не позволяют, к примеру, оперировать с подобъектами.


Вопрос по теме Сформулируйте свой вопрос в одном предложении. Для вопросов и ответов используется сервис Отвечай.ru

Проект wiki-linki.ru основан на данных Wikipedia, доступной в соответствии с GNU Free Documentation License.