12.4 Functor Tensor Products
-
Subsection 12.4.1: The Tensor Product of Presheaves With Copresheaves
- Definition 12.4.1.1.1: The Tensor Product of Presheaves With Copresheaves
- Remark 12.4.1.1.2: Unwinding Definition 12.4.1.1.1
- Example 12.4.1.1.3: The Tensor Product of Presheaves With Copresheaves on One Object Categories
- Proposition 12.4.1.1.4: Properties of Tensor Products of Presheaves With Copresheaves
-
Subsection 12.4.2: The Tensor of a Presheaf With a Functor
- Definition 12.4.2.1.1: The Tensor of a Presheaf With a Functor
- Remark 12.4.2.1.2: Unwinding Definition 12.4.2.1.1
- Proposition 12.4.2.1.3: Properties of Tensors of Presheaves With Functors
-
Subsection 12.4.3: The Tensor of a Copresheaf With a Functor
- Definition 12.4.3.1.1: The Tensor of a Copresheaf With a Functor
- Remark 12.4.3.1.2: Unwinding Definition 12.4.3.1.1
- Proposition 12.4.3.1.3: Properties of Tensors of Copresheaves With Functors