Category theory
Book
Foundational Source
Category Theory
Citation
Awodey, Steve. (2010). Category theory. Oxford University Press.
Why this reference is included
Awodey’s Category theory (2010), published by Oxford University Press, sits in the program’s reference corpus as a standing technical source. Cited in Book II (Categorical Holomorphy), Part 8, Chapter Yoneda Embedding as Theorem, where the program draws on it in the context of “In enriched category theory (Kelly, Basic Concepts of Enriched Category Theory), the Yoneda lemma generalizes to V-enriched categories for any closed symmetric monoidal category V.”
Cited in
-
Book II — Categorical Holomorphy Part 8Chapter Yoneda Embedding as Theorem
In enriched category theory (Kelly, Basic Concepts of Enriched Category Theory), the Yoneda lemma generalizes to V-enriched categories for any closed symmetric monoidal category V