Категория отношений — Википедия

Категория отношений Категория Rel относится к классу множеств и бинарных отношений как морфизмов.  Морфизм R: A → B в категории […]

Категория отношений

  • Категория Rel относится к классу множеств и бинарных отношений как морфизмов. 
  • Морфизм R: A → B в категории Rel является отношением между множествами A и B. 
  • Категория Rel содержит категорию множеств и является «категорией соответствий множеств». 
  • Rel содержит свою противоположность и является самодвойственной категорией. 
  • Категория Rel является закрытой категорией и компактной категорией кинжала. 
  • Rel может быть получена из набора категорий как категория Клейсли для монады. 
  • Произведение в Rel задается непересекающимся объединением, а не декартовым произведением. 
  • Rel является моноидально замкнутой и моноидальной категорией. 
  • Категория Rel послужила прототипом алгебраической структуры, названной аллегорией. 
  • В Rel есть объекты, которые являются однородными отношениями, морфизмы сохраняют отношение. 

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

Категория отношений — Википедия

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

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