14.2 Retired Tags
-
Subsection 14.2.1: Relations
- Oldtag 14.2.1.1.1: Equivalent Definitions of Relations
-
Subsection 14.2.2: Pointed Sets
- Oldtag 14.2.2.1.1: The Underlying Pointed Set of a Semimodule
- Oldtag 14.2.2.1.2: The Underlying Pointed Set of a Module
-
Subsection 14.2.3: Tensor Products of Pointed Sets
- Oldtag 14.2.3.1.1: Section on Universal Properties of the Smash Product of Pointed Sets I
- Oldtag 14.2.3.1.2: Section on Universal Properties of the Smash Product of Pointed Sets II
- Oldtag 14.2.3.1.3: Universal Properties of the Smash Product of Pointed Sets I
- Oldtag 14.2.3.1.4: Universal Properties of the Smash Product of Pointed Sets II
-
Subsection 14.2.4: Categories
- Oldtag 14.2.4.1.1: Picturing Natural Transformations in Diagrams
- Oldtag 14.2.4.1.2: Interaction Between Fullness and Postcomposition Functors
