Isbell conjugacy - Alchetron, The Free Social Encyclopedia

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

Definition

Let V be a symmetric monoidal closed category, and let A be a small category enriched in V .

The Isbell conjugacy is an adjunction between the categories V A o p and ( V A ) o p arising from the Yoneda embedding Y : A → V A o p and the dual Yoneda embedding Z : A → ( V A ) o p .

References

Isbell conjugacy Wikipedia

(Text) CC BY-SA