1.3 Lists
-
Subsection 1.3.1: List of Omitted Proofs
- Remark 1.3.1.1.1: Omitted Proofs To Add
-
Subsection 1.3.2: List of Missing Examples
- Remark 1.3.2.1.1: Missing Examples to Add
-
Subsection 1.3.3: List of Questions
- Remark 1.3.3.1.1: Questions to Answer
-
Subsection 1.3.4: List of Gaps in the Category Theory Literature
- Gap 1.3.4.1.1: The Tensor Product of Presentable Categories
- Gap 1.3.4.1.2: Explicit Descriptions of Co/Limits of Categories
- Gap 1.3.4.1.3: Dinatural Transformation Co/Classifiers
- Gap 1.3.4.1.4: The Tensor Product of Symmetric Monoidal Categories
- Gap 1.3.4.1.5: A Comprehensive Treatment of the Theory of Promonoidal Categories
- Gap 1.3.4.1.6: A Comprehensive Treatment of the Theory of Multicategories
- Gap 1.3.4.1.7: A Compendium of Examples of 2-Categorical Notions
- Gap 1.3.4.1.8: Centres and Traces of Categories
- Gap 1.3.4.1.9: Natural Cotransformations
- Gap 1.3.4.1.10: A Comprehensive Treatment of Isbell Duality
- Gap 1.3.4.1.11: A Comprehensive Theory of 2-Dimensional Co/Ends
- Gap 1.3.4.1.12: A Comprehensive treatment of Factorisation Systems
- Gap 1.3.4.1.13: Proofs of Coherence Theorems for String Diagrams
- Gap 1.3.4.1.14: A Comprehensive Treatment of Variants of Category Theory
