Isbell duality

Last updated

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]

Contents

Definition

Yoneda embedding

The (covariant) Yoneda embedding is a covariant functor from a small category into the category of presheaves on , taking to the contravariant representable functor: [1] [9] [10] [11]

and the co-Yoneda embedding [1] [12] [9] [13] (a.k.a. contravariant Yoneda embedding [14] [note 1] or the dual Yoneda embedding [21] ) is a contravariant functor from a small category into the opposite of the category of co-presheaves on , taking to the covariant representable functor:

Isbell duality

Origin of symbols
O
{\displaystyle {\mathcal {O}}}
and
S
p
e
c
{\displaystyle \mathrm {Spec} }
: Lawvere (1986, p. 169) says that; "
O
{\displaystyle {\mathcal {O}}}
" assigns to each general space the algebra of functions on it, whereas "
S
p
e
c
{\displaystyle \mathrm {Spec} }
" assigns to each algebra its "spectrum" which is a general space. Isbell duality.svg
Origin of symbols and : Lawvere (1986 , p. 169) says that; "" assigns to each general space the algebra of functions on it, whereas "" assigns to each algebra its “spectrum” which is a general space.
note:In order for this commutative diagram to hold, it is required that
A
{\displaystyle {\mathcal {A}}}
is small and E is co-complete. Nerve and realization (ver. left kan extension).svg
note:In order for this commutative diagram to hold, it is required that is small and E is co-complete.

Every functor has an Isbell conjugate of a functor [1] , given by

In contrast, every functor has an Isbell conjugate of a functor [1] given by

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 be a symmetric monoidal closed category, and let be a small category enriched in .

The Isbell duality is an adjunction between the functor categories; . [1] [3] [12] [26] [27] [28]

The functors of Isbell duality are such that and . [26] [29] [note 2]

See also

References

  1. 1 2 3 4 5 6 7 ( Baez 2022 )
  2. ( Di Liberti 2020 , 2. Isbell duality)
  3. 1 2 ( Lawvere 1986 , p. 169)
  4. ( Rutten 1998 )
  5. ( Melliès & Zeilberger 2018 )
  6. ( Willerton 2013 )
  7. ( Lawvere 1986 , p. 169)
  8. ( Space and quantity in nlab )
  9. 1 2 ( Yoneda embedding in nlab )
  10. ( Valence 2017 , Corollaire 2)
  11. ( Awodey 2006 , Definition 8.1.)
  12. 1 2 ( Isbell duality in nlab )
  13. ( Valence 2017 , Définition 67)
  14. ( Di Liberti & Loregian 2019 , Definition 5.12)
  15. (Riehl 2016, Theorem 3.4.11.)
  16. (Leinster 2004, (c) and (c').)
  17. (Riehl 2016, Definition 1.3.11.)
  18. (Starr 2020, Example 4.7.)
  19. (Opposite functors in nlab)
  20. (Pratt 1996, §.4 Symmetrizing the Yoneda embedding)
  21. ( Day & Lack 2007 , §9. Isbell conjugacy)
  22. ( Di Liberti 2020 , Remark 2.3 (The (co)nerve construction).)
  23. ( Kelly 1982 , Proposition 4.33)
  24. ( Riehl 2016 , Remark 6.5.9.)
  25. ( Imamura 2022 , Theorem 2.4)
  26. 1 2 ( Di Liberti 2020 , Remark 2.4)
  27. ( Fosco 2021 )
  28. ( Valence 2017 , Définition 68)
  29. ( Di Liberti & Loregian 2019 , Lemma 5.13.)

Bibliography

Footnote

  1. Note that: the contravariant Yoneda embedding written in the article is replaced with the opposite category for both domain and codomain from that written in the textbook. [15] [16] See variance of functor, pre/post-composition, [17] and opposite functor. [18] [19] It follows from Yoneda lemma that . In addition, this pair of Yoneda embeddings is collectively called the two Yoneda embeddings. [20]
  2. For the symbol Lan, see left Kan extension.