Квантовоид - Quantaloid

Эта статья может быть слишком техническим для большинства читателей, чтобы понять. Пожалуйста помогите улучшить это к Сделайте это понятным для неспециалистов, не снимая технических деталей. (Сентябрь 2010 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

В математике кванталоид это категория обогащенный по категории Как дела из надстройки.^[1] Другими словами для любых объектов а, б то морфизм объект между ними не просто набор но полный решетка, таким образом, что композиция морфизмов сохраняет все объединения:

${displaystyle (igvee _ {i} f_ {i}) circ (igvee _ {j} g_ {j}) = igvee _ {i, j} (f_ {i} circ g_ {j})}$

Решетка эндоморфизмов ${displaystyle mathrm {Hom} (X, X)}$ любого объекта ${displaystyle X}$ в кванталоиде есть квант, откуда и название.

Рекомендации

Этот теория категорий -связанная статья является заглушка. Вы можете помочь Википедии расширяя это.