12.2 Copresheaves
-
Subsection 12.2.1: Foundations
- Definition 12.2.1.1.1: Copresheaves on a Category
- Example 12.2.1.1.2: Copresheaves on One-Object Categories
- Definition 12.2.1.1.3: Morphisms of Copresheaves
- Definition 12.2.1.1.4: The Category of Copresheaves on a Category
- Remark 12.2.1.1.5: Unwinding Definition 12.2.1.1.4
-
Subsection 12.2.2: Corepresentable Copresheaves
- Definition 12.2.2.1.1: Corepresentable Copresheaves
- Example 12.2.2.1.2: Corepresentable Copresheaves on One-Object Categories
- Proposition 12.2.2.1.3: Uniqueness of Corepresenting Objects Up to Isomorphism
-
Subsection 12.2.3: Corepresentable Natural Transformations
- Definition 12.2.3.1.1: Corepresentable Natural Transformations
-
Subsection 12.2.4: The Contravariant Yoneda Embedding
- Definition 12.2.4.1.1: The Contravariant Yoneda Embedding
- Proposition 12.2.4.1.2: Properties of the Contravariant Yoneda Embedding
-
Subsection 12.2.5: The Contravariant Yoneda Lemma
- Theorem 12.2.5.1.1: The Contravariant Yoneda Lemma
