6 Pointed Sets

This chapter contains some foundational material on pointed sets.

• Section 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
• Section 6.2: Limits of Pointed Sets
  • Subsection 6.2.1: The Terminal Pointed Set
    • Definition 6.2.1.1.1: The Terminal Pointed Set
    • Construction 6.2.1.1.2: Construction of the Terminal Pointed Set
  • Subsection 6.2.2: Products of Families of Pointed Sets
    • Definition 6.2.2.1.1: The Product of a Family of Pointed Sets
    • Construction 6.2.2.1.2: Construction of the Product of a Family of Pointed Sets
    • Proposition 6.2.2.1.3: Properties of Products of Families of Pointed Sets
  • Subsection 6.2.3: Products
    • Definition 6.2.3.1.1: Products of Pointed Sets
    • Construction 6.2.3.1.2: Construction of Products of Pointed Sets
    • Proposition 6.2.3.1.3: Properties of Products of Pointed Sets
  • Subsection 6.2.4: Pullbacks
    • Definition 6.2.4.1.1: Pullbacks of Pointed Sets
    • Construction 6.2.4.1.2: Construction of Pullbacks of Pointed Sets
    • Proposition 6.2.4.1.3: Properties of Pullbacks of Pointed Sets
  • Subsection 6.2.5: Equalisers
    • Definition 6.2.5.1.1: Equalisers of Pointed Sets
    • Construction 6.2.5.1.2: Construction of Equalisers of Pointed Sets
    • Proposition 6.2.5.1.3: Properties of Equalisers of Pointed Sets
• Section 6.3: Colimits of Pointed Sets
  • Subsection 6.3.1: The Initial Pointed Set
    • Definition 6.3.1.1.1: The Initial Pointed Set
    • Construction 6.3.1.1.2: Construction of the Initial Pointed Set
  • Subsection 6.3.2: Coproducts of Families of Pointed Sets
    • Definition 6.3.2.1.1: Coproducts of Families of Pointed Sets
    • Construction 6.3.2.1.2: Construction of Coproducts of Families of Pointed Sets
    • Proposition 6.3.2.1.3: Properties of Coproducts of Families of Pointed Sets
  • Subsection 6.3.3: Coproducts
    • Definition 6.3.3.1.1: Coproducts of Pointed Sets
    • Construction 6.3.3.1.2: Construction of Coproducts of Pointed Sets
    • Proposition 6.3.3.1.3: Properties of Wedge Sums of Pointed Sets
  • Subsection 6.3.4: Pushouts
    • Definition 6.3.4.1.1: Pushouts of Pointed Sets
    • Construction 6.3.4.1.2: Construction of Pushouts of Pointed Sets
    • Proposition 6.3.4.1.3: Properties of Pushouts of Pointed Sets
  • Subsection 6.3.5: Coequalisers
    • Definition 6.3.5.1.1: Coequalisers of Pointed Sets
    • Construction 6.3.5.1.2: Construction of Coequalisers of Pointed Sets
    • Proposition 6.3.5.1.3: Properties of Coequalisers of Pointed Sets
• Section 6.4: Constructions With Pointed Sets
  • Subsection 6.4.1: Free Pointed Sets
    • Definition 6.4.1.1.1: Free Pointed Sets
    • Proposition 6.4.1.1.2: Properties of Free Pointed Sets
  • Subsection 6.4.2: Deleting Basepoints
    • Definition 6.4.2.1.1: Sets With Deleted Basepoints
    • Proposition 6.4.2.1.2: Properties of Sets With Deleted Basepoints