Isbellův čas - Isbell conjugacy

Isbellův čas (pojmenoval podle John R. Isbell ) je základní konstrukcí teorie obohacených kategorií formálně představen William Lawvere v roce 1986.^[1]

Definice

Nechat ${displaystyle {mathcal {V}}}$ být symetrická monoidní uzavřená kategorie a nechte ${displaystyle {mathcal {A}}}$ být malou kategorií obohacenou ${displaystyle {mathcal {V}}}$.

The Isbellův čas je přídavné jméno mezi kategoriemi ${displaystyle {mathcal {V}} ^ {{mathcal {A}} ^ {op}}}$ a ${displaystyle ({mathcal {V}} ^ {mathcal {A}}) ^ {op}}$ vyplývající z Yoneda vkládání ${displaystyle Y: {mathcal {A}} ightarrow {mathcal {V}} ^ {{mathcal {A}} ^ {op}}}$ a dvojí vložení Yonedy ${displaystyle Z: {mathcal {A}} ightarrow ({mathcal {V}} ^ {mathcal {A}}) ^ {op}}$.

Reference

Bibliografie

• Kelly, Gregory Maxwell (1982), Základní pojmy teorie obohacených kategorií, Série přednášek London Mathematical Society, 64, Cambridge University Press, Cambridge-New York, ISBN  0-521-28702-2, PAN  0651714.^{[stránka potřebná ]}
• Day, Brian J .; Lack, Stephen (2007), „Limity malých funktorů“, Journal of Pure and Applied Algebra, 210 (3): 651–663, arXiv:matematika / 0610439, doi:10.1016 / j.jpaa.2006.10.019, PAN  2324597.

Tento teorie kategorií související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.