The Clowder Project

6.1 Pointed Sets

• Subsection 6.1.1: Foundations
  • Definition 6.1.1.1.1: Pointed Sets
  • Remark 6.1.1.1.2: Unwinding Definition 6.1.1.1.1
  • Example 6.1.1.1.3: The Zero Sphere
  • Example 6.1.1.1.4: The Trivial Pointed Set
  • Example 6.1.1.1.5: The Standard Pointed Set With $n+1$ Elements
• Subsection 6.1.2: Morphisms of Pointed Sets
  • Definition 6.1.2.1.1: Morphisms of Pointed Sets
  • Remark 6.1.2.1.2: Unwinding Definition 6.1.2.1.1
• Subsection 6.1.3: The Category of Pointed Sets
  • Definition 6.1.3.1.1: The Category of Pointed Sets
  • Remark 6.1.3.1.2: Unwinding Definition 6.1.3.1.1
• Subsection 6.1.4: Elementary Properties of Pointed Sets
  • Proposition 6.1.4.1.1: Elementary Properties of Pointed Sets
• Subsection 6.1.5: Active and Inert Morphisms of Pointed Sets
  • Definition 6.1.5.1.1: Active and Inert Morphisms of Pointed Sets
  • Notation 6.1.5.1.2: The Category of Pointed Sets and Active Morphisms
  • Example 6.1.5.1.3: Examples of Active and Inert Maps of Pointed Sets
  • Proposition 6.1.5.1.4: Properties of Active and Inert Maps of Pointed Sets