Сопряжение Исбелла - Isbell conjugacy

Сопряжение Исбелла (названный в честь Джон Р. Исбелл ) является фундаментальной конструкцией обогащенная теория категорий официально представленный Уильям Ловер в 1986 г.^[1]

Определение

Позволять ${displaystyle {mathcal {V}}}$ быть симметричная моноидальная замкнутая категория, и разреши ${displaystyle {mathcal {A}}}$ быть небольшой категорией, обогащенной ${displaystyle {mathcal {V}}}$.

В Сопряжение Исбелла является примыкание между категориями ${displaystyle {mathcal {V}}^{{mathcal {A}}^{op}}}$ и ${displaystyle ({mathcal {V}}^{mathcal {A}})^{op}}$ вытекающие из Йонеда вложение ${displaystyle Y:{mathcal {A}}ightarrow {mathcal {V}}^{{mathcal {A}}^{op}}}$ и двойственное вложение Йонеды ${displaystyle Z:{mathcal {A}}ightarrow ({mathcal {V}}^{mathcal {A}})^{op}}$.

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

1. Лавер, Ф. В. (1986), "Серьезное отношение к категориям", Revista Colombiana de Matemáticas, 20 (3–4): 147–178, МИСТЕР  0948965

Библиография

• Келли, Грегори Максвелл (1982), Основные понятия теории обогащенных категорий, Серия лекций Лондонского математического общества, 64, Издательство Кембриджского университета, Кембридж-Нью-Йорк, ISBN  0-521-28702-2, МИСТЕР  0651714.^{[страница нужна ]}
• День, Брайан Дж .; Лак, Стивен (2007), "Пределы малых функторов", Журнал чистой и прикладной алгебры, 210 (3): 651–663, arXiv:математика / 0610439, Дои:10.1016 / j.jpaa.2006.10.019, МИСТЕР  2324597.