Isbell duality

In mathematics, Isbell conjugacy (a.k.a. Isbell duality or Isbell adjunction) (named after John R. Isbell^[1][2]) is a fundamental construction of enriched category theory formally introduced by William Lawvere in 1986.^[3][4] That is a duality between covariant and contravariant representable presheaves associated with an objects of categories under the Yoneda embedding.^[5][6] In addition, Lawvere^[7] is states as follows; "Then the conjugacies are the first step toward expressing the duality between space and quantity fundamental to mathematics".^[8]

Definition

Yoneda embedding

The (covariant) Yoneda embedding is a covariant functor from a small category ${\displaystyle {\mathcal {A}}}$ into the category of presheaves ${\displaystyle \left[{\mathcal {A}}^{op},{\mathcal {V}}\right]}$ on ${\displaystyle {\mathcal {A}}}$, taking ${\displaystyle X\in {\mathcal {A}}}$ to the contravariant representable functor: ^[1][9][10]

${\displaystyle Y\;(h^{\bullet }):{\mathcal {A}}\rightarrow \left[{\mathcal {A}}^{op},{\mathcal {V}}\right]}$

${\displaystyle X\mapsto \mathrm {hom} (-,X).}$

and the co-Yoneda embedding^[1][11] (a.k.a. dual Yoneda embedding^[12]) is a contravariant functor from a small category ${\displaystyle {\mathcal {A}}}$ into the opposite of the category of co-presheaves ${\displaystyle \left[{\mathcal {A}},{\mathcal {V}}\right]^{op}}$ on ${\displaystyle {\mathcal {A}}}$, taking ${\displaystyle X\in {\mathcal {A}}}$ to the covariant representable functor:

${\displaystyle Z\;({h_{\bullet }}^{op}):{\mathcal {A}}\rightarrow \left[{\mathcal {A}},{\mathcal {V}}\right]^{op}}$

${\displaystyle X\mapsto \mathrm {hom} (X,-).}$

Isbell duality

Origin of symbols ${\displaystyle {\mathcal {O}}}$ (“ring of functions”) and ${\displaystyle \mathrm {Spec} }$ (“spectrum”): Lawvere (1986, p. 169)^{[failed verification]} says that; "${\displaystyle {\mathcal {O}}}$" assigns to each general space the algebra of functions on it, whereas "${\displaystyle \mathrm {Spec} }$" assigns to each algebra its “spectrum” which is a general space.

note:In order for this commutative diagram to hold, it is required that ${\displaystyle {\mathcal {A}}}$ is small and E is co-complete.^{[13][14][15][16]}

Every functor ${\displaystyle F\colon {\mathcal {A}}^{\mathrm {op} }\to {\mathcal {V}}}$ has an Isbell conjugate of a functor^[1] ${\displaystyle F^{\ast }\colon {\mathcal {A}}\to {\mathcal {V}}}$, given by

${\displaystyle F^{\ast }(X)=\mathrm {hom} (F,y(X)).}$

In contrast, every functor ${\displaystyle G\colon {\mathcal {A}}\to {\mathcal {V}}}$ has an Isbell conjugate of a functor^[1] ${\displaystyle G^{\ast }\colon {\mathcal {A}}^{\mathrm {op} }\to {\mathcal {V}}}$ given by

${\displaystyle G^{\ast }(X)=\mathrm {hom} (z(X),G).}$

These two functors are not typically inverses, or even natural isomorphisms. Isbell duality asserts that the relationship between these two functors is an adjunction.^[1]

Isbell duality is the relationship between Yoneda embedding and co-Yoneda embedding；

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

The Isbell duality is an adjunction between the functor categories; ${\displaystyle \left({\mathcal {O}}\dashv \mathrm {Spec} \right)\colon \left[{\mathcal {A}}^{op},{\mathcal {V}}\right]{\underset {\mathrm {Spec} }{\overset {\mathcal {O}}{\rightleftarrows }}}\left[{\mathcal {A}},{\mathcal {V}}\right]^{op}}$.^{[1][3][11][17][18]}

Applying the nerve construction, the functors ${\displaystyle {\mathcal {O}}\dashv \mathrm {Spec} }$ of Isbell duality are such that ${\displaystyle {\mathcal {O}}\cong \mathrm {Lan_{Y}Z} }$ and ${\displaystyle \mathrm {Spec} \cong \mathrm {Lan_{Z}Y} }$.^{[17][19][note 1]}

See also

• Kan extension
• Limit (category theory)
• Isbell completion
• Profunctor