Аллегория (математика) — Википедия

Аллегория (математика) Аллегория — это математическая структура, используемая для описания отношений между объектами.  Отношения тождества являются диагоналями в X → […]

Аллегория (математика)

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

Полный текст статьи:

Аллегория (математика) — Википедия

Оставьте комментарий

Прокрутить вверх