WikiDer > Сопряжение Исбелла

Сопряжение Исбелла (названный в честь Джон Р. Исбелл) является фундаментальной конструкцией обогащенная теория категорий официально представленный Уильям Ловер в 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}}$.

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

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

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

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