The Clowder Project

3.2 Limits of Pointed Sets

• Subsection 3.2.1: The Terminal Pointed Set
  • Definition 3.2.1.1.1: The Terminal Pointed Set
• Subsection 3.2.2: Products of Families of Pointed Sets
  • Definition 3.2.2.1.1: The Product of a Family of Pointed Sets
  • Proposition 3.2.2.1.2: Properties of Products of Families of Pointed Sets
• Subsection 3.2.3: Products
  • Definition 3.2.3.1.1: Products of Pointed Sets
  • Proposition 3.2.3.1.2: Properties of Products of Pointed Sets
• Subsection 3.2.4: Pullbacks
  • Definition 3.2.4.1.1: Pullbacks of Pointed Sets
  • Proposition 3.2.4.1.2: Properties of Pullbacks of Pointed Sets
• Subsection 3.2.5: Equalisers
  • Definition 3.2.5.1.1: Equalisers of Pointed Sets
  • Proposition 3.2.5.1.2: Properties of Equalisers of Pointed Sets