Isbell conjugacy

Isbell conjugacy (named after John R. Isbell) is a fundamental construction of enriched category theory formally introduced by William Lawvere in 1986.^[1]

Definition

Let ${\mathcal {V}}$ be a symmetric monoidal closed category, and let ${\mathcal {A}}$ be a small category enriched in ${\mathcal {V}}$ .

The Isbell conjugacy is an adjunction between the categories ${\mathcal {V}}^{{{\mathcal {A}}^{{op}}}}$ and $({\mathcal {V}}^{{{\mathcal {A}}}})^{{op}}$ arising from the Yoneda embedding $Y:{\mathcal {A}}\rightarrow {\mathcal {V}}^{{{\mathcal {A}}^{{op}}}}$ and the dual Yoneda embedding $Z:{\mathcal {A}}\rightarrow ({\mathcal {V}}^{{{\mathcal {A}}}})^{{op}}$ .

References

↑ Lawvere, William (1986), Taking Categories Seriously

Bibliography

Kelly, Gregory Maxwell (1982), Basic Concepts in Enriched Category Theory
Day, Brian; Lack, Stephen (2006), Limits of Small Functors

This article is issued from Wikipedia - version of the 11/17/2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.