The Clowder Project

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