Koniugacja Isbell

Koniugacja Isbella (nazwana na cześć Johna R. Isbella ) to podstawowa konstrukcja teorii kategorii wzbogaconych formalnie wprowadzona przez Williama Lawvere'a w 1986 roku.

Definicja

Niech będzie symetryczną monooidalną kategorią zamkniętą $i$ niech będzie małą kategorią wzbogaconą w $V}} }}$ ${ \ mathcal$ .

Koniugacja Isbell jest dodatkiem między kategoriami i $\mathcal {V}} ^ {\ mathcal {A}}} ^ {op}}$ $A}} ^ {op}}}$ $displaystyle ({{\$ mathcal {V wynikające z osadzania Yoneda ${\ Displaystyle Y: {\ mathcal {A}} \ rightarrow {\ mathcal {V}}^{{\mathcal {A}}^{op}}}$ i podwójne osadzanie Yoneda ${\ Displaystyle Z: {\ mathcal {A}} \ rightarrow ({\ mathcal {V}} ^ {\ mathcal {A}}) ^ {op}}$ .

Bibliografia

Kelly, Gregory Maxwell (1982), Podstawowe koncepcje teorii kategorii wzbogaconej , London Mathematical Society Lecture Note Series, tom. 64, Cambridge University Press, Cambridge-Nowy Jork, ISBN 0-521-28702-2 , MR 0651714 . ^{[ potrzebna strona ]}
Dzień, Brian J.; Brak, Stephen (2007), „Granice małych funktorów”, Journal of Pure and Applied Algebra , 210 (3): 651–663, arXiv : math / 0610439 , doi : 10.1016/j.jpaa.2006.10.019 , MR 2324597 .