Аллегория (математика)
- Аллегория — это математическая структура, используемая для описания отношений между объектами.
- Отношения тождества являются диагоналями в X → X × X.
- Обычная категория имеет стабильную регулярную систему факторизации epi/mono.
- Категория отношений для обычной категории всегда является аллегорией.
- Антиинволюция определяется поворотом источника/цели отношения, а пересечения — это пересечения подобъектов.
- Карты в виде аллегорий и таблиц разделены по идентичности и композиции.
- Аллегория называется табличной, если у каждого морфизма есть таблица.
- Единица в аллегории — объект U, для которого тождество является наибольшим морфизмом.
- Дополнительные свойства аллегорий могут быть аксиоматизированы, включая дистрибутивные аллегории и аллегории деления.
Полный текст статьи: