The Clowder Project

4.2 Limits of Pointed Sets

• Subsection 4.2.1: The Terminal Pointed Set
  • Definition 4.2.1.1.1: The Terminal Pointed Set
• Subsection 4.2.2: Products of Families of Pointed Sets
  • Definition 4.2.2.1.1: The Product of a Family of Pointed Sets
  • Proposition 4.2.2.1.2: Properties of Products of Families of Pointed Sets
• Subsection 4.2.3: Products
  • Definition 4.2.3.1.1: Products of Pointed Sets
  • Proposition 4.2.3.1.2: Properties of Products of Pointed Sets
• Subsection 4.2.4: Pullbacks
  • Definition 4.2.4.1.1: Pullbacks of Pointed Sets
  • Proposition 4.2.4.1.2: Properties of Pullbacks of Pointed Sets
• Subsection 4.2.5: Equalisers
  • Definition 4.2.5.1.1: Equalisers of Pointed Sets
  • Proposition 4.2.5.1.2: Properties of Equalisers of Pointed Sets