Вопрос по ТК

algebraic_brain — 12.06.2010 Дорогие френды, интересует одна конструкция, довольно простая. Вполне возможно, что она описана в каких-нибудь учебниках. Подскажите если кто видел, где почитать и как называется.

Дана малая конечно-полная категория С. Мы строим из нее категорию C' следующим образом:

Для каждого морфизма f категории C определяем морфизм f' категории C' как множество всех морфизмов, для каждого g из которых существует X∈Ob(C) такой, что g изоморфен f×X в соотв. категории стрелок:

f' = {g∈Mor(C) | ∃X∈Ob(C). g ? f×X}

Композиция определяется "покомпонентно" (если считать f×X "компонентой" f' при фиксированном X). Других морфизмов C' не содержит.

Спасибо.

Upd: В принципе можно обсуждать то же самое на основе произвольных симметричных моноидальных категорий, но мне сейчас интересны именно конечно-полные, вместе с возможными особенностями конструкции.


Upd: Вопрос снят, это просто категория эндофункторов вида A×-. Всем спасибо, но обсуждение продолжаем.

Upd: Или ее скелетик. Я еще не разобрался, что мне больше подходит.

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

Популярные посты:

• Архив