The Clowder Project

4.3 Colimits of Pointed Sets

• Subsection 4.3.1: The Initial Pointed Set
  • Definition 4.3.1.1.1: The Initial Pointed Set
• Subsection 4.3.2: Coproducts of Families of Pointed Sets
  • Definition 4.3.2.1.1: Coproducts of Families of Pointed Sets
  • Proposition 4.3.2.1.2: Properties of Coproducts of Families of Pointed Sets
• Subsection 4.3.3: Coproducts
  • Definition 4.3.3.1.1: Coproducts of Pointed Sets
  • Proposition 4.3.3.1.2: Properties of Wedge Sums of Pointed Sets
• Subsection 4.3.4: Pushouts
  • Definition 4.3.4.1.1: Pushouts of Pointed Sets
  • Proposition 4.3.4.1.2: Properties of Pushouts of Pointed Sets
• Subsection 4.3.5: Coequalisers
  • Definition 4.3.5.1.1: Coequalisers of Pointed Sets
  • Proposition 4.3.5.1.2: Properties of Coequalisers of Pointed Sets