12 Miscellaneous Notes

This chapter contains some notes regarding the Clowder Project.

• Section 12.1: To Do Lists
  • Subsection 12.1.1: List of Omitted Proofs
    • Remark 12.1.1.1.1: Omitted Proofs To Add
  • Subsection 12.1.2: List of Missing Examples
    • Remark 12.1.2.1.1: List of Missing Examples
  • Subsection 12.1.3: List of Open Problems
    • Remark 12.1.3.1.1: List of Open Problems
  • Subsection 12.1.4: List of Things To Explore/Add
    • Remark 12.1.4.1.1: Things To Explore/Add
• Section 12.2: Retired Tags
  • Subsection 12.2.1: Relations
    • Oldtag 12.2.1.1.1: Equivalent Definitions of Relations
  • Subsection 12.2.2: Pointed Sets
    • Oldtag 12.2.2.1.1: The Underlying Pointed Set of a Semimodule
    • Oldtag 12.2.2.1.2: The Underlying Pointed Set of a Module
  • Subsection 12.2.3: Tensor Products of Pointed Sets
    • Oldtag 12.2.3.1.1: Section on Universal Properties of the Smash Product of Pointed Sets I
    • Oldtag 12.2.3.1.2: Section on Universal Properties of the Smash Product of Pointed Sets II
    • Oldtag 12.2.3.1.3: Universal Properties of the Smash Product of Pointed Sets I
    • Oldtag 12.2.3.1.4: Universal Properties of the Smash Product of Pointed Sets II
  • Subsection 12.2.4: Categories
    • Oldtag 12.2.4.1.1: Picturing Natural Transformations in Diagrams
    • Oldtag 12.2.4.1.2: Interaction Between Fullness and Postcomposition Functors
• Section 12.3: TikZ Code for Commutative Diagrams
  • Subsection 12.3.1: Cube Diagram
  • Subsection 12.3.2: Cube Diagram With Labelled Faces
  • Subsection 12.3.3: Pentagon Diagram
  • Subsection 12.3.4: Hexagon Diagram
  • Subsection 12.3.5: Double Hexagon Diagram