Categories for the Working Mathematician

Citation

Why this reference is included

Cited in

• Book II — Categorical Holomorphy Part 7
  Chapter Pre-Yoneda Embedding

  The classical Yoneda lemma asserts that every object of a locally small category is determined by its functor of points

• Book II — Categorical Holomorphy Part 8
  Chapter Yoneda Embedding as Theorem

  The Yoneda embedding y : C → [C^, Set] sends each object A to the representable presheaf h_A = _C(-, A)

• Book II — Categorical Holomorphy Part 8
  Chapter 2-Categories from Iterated Enrichment

  The 2-Category Structure We now organize the iterated morphism spaces into a 2-categorical framework

• Book II — Categorical Holomorphy Part 11
  Chapter Why the Fork Is Worth It

  Part XI adds the meta-structural declaration: Books I–II have built an alternative foundation for mathematics

• Book III — Categorical Spectrum Part 2
  Chapter The Yoneda-Langlands Reflection

  The Yoneda mechanism. The Yoneda embedding (II.T36) is the categorical engine of Langlands_1

• Book IV — Categorical Microcosm Part 0
  Chapter The Self-Describing Universe

  Self-Description as Self-Enrichment The Yoneda Perspective In classical category theory , the Yoneda lemma states that every object is completely determined by the collection of morphisms into it

Bibliographic Details