The Clowder Project

2.1 Limits of Sets

• Subsection 2.1.1: The Terminal Set
  • Definition 2.1.1.1.1: The Terminal Set
• Subsection 2.1.2: Products of Families of Sets
  • Definition 2.1.2.1.1: The Product of a Family of Sets
  • Proposition 2.1.2.1.2: Properties of Products of Families of Sets
• Subsection 2.1.3: Binary Products of Sets
  • Definition 2.1.3.1.1: Products of Sets
  • Proposition 2.1.3.1.2: Properties of Products of Sets
• Subsection 2.1.4: Pullbacks
  • Definition 2.1.4.1.1: Pullbacks of Sets
  • Example 2.1.4.1.2: Examples of Pullbacks of Sets
  • Proposition 2.1.4.1.3: Properties of Pullbacks of Sets
• Subsection 2.1.5: Equalisers
  • Definition 2.1.5.1.1: Equalisers of Sets
  • Proposition 2.1.5.1.2: Properties of Equalisers of Sets