Декартова замкнутая категория
- Декартова замкнутая категория — категория с замкнутыми обратными связями и изоморфизмом между произведениями.
- Функциональный уровень программирования может быть смоделирован на основе декартовых замкнутых категорий.
- Категория имеет все откаты из-за произведения в C/Z.
- Зависимая сумма и произведение используются для определения обратных связей и функторов в категории.
- Экспоненциальная зависимость от P в C/Y может быть выражена через зависимое произведение.
- Уравнительная теория в декартовых замкнутых категориях включает изоморфизм между (XY)Z и (XZ)Y для всех объектов X, Y и Z.
Полный текст статьи: