12.3 Restricted Yoneda Embeddings and Yoneda Extensions
-
Subsection 12.3.1: Foundations
- Definition 12.3.1.1.1: The Restricted Yoneda Embedding Associated to a Functor
- Remark 12.3.1.1.2: Unwinding Definition 12.3.1.1.1
- Example 12.3.1.1.3: Examples of Restricted Yoneda Embeddings
- Proposition 12.3.1.1.4: Properties of the Restricted Yoneda Embedding
-
Subsection 12.3.2: The Yoneda Extension Functor
- Definition 12.3.2.1.1: The Yoneda Extension Functor
- Example 12.3.2.1.2: Examples of Yoneda Extensions
- Proposition 12.3.2.1.3: Properties of Yoneda Extensions
