1 Sets

• Chapter 1: Sets
  • Section 1.1: Sets and Functions
  • Section 1.2: The Enrichment of Sets in Classical Truth Values
• Chapter 2: Constructions With Sets
  • Section 2.1: Limits of Sets
  • Section 2.2: Colimits of Sets
  • Section 2.3: Operations With Sets
  • Section 2.4: Powersets
• Chapter 3: Pointed Sets
  • Section 3.1: Pointed Sets
  • Section 3.2: Limits of Pointed Sets
  • Section 3.3: Colimits of Pointed Sets
  • Section 3.4: Constructions With Pointed Sets
• Chapter 4: Tensor Products of Pointed Sets
  • Section 4.1: Bilinear Morphisms of Pointed Sets
  • Section 4.2: Tensors and Cotensors of Pointed Sets by Sets
  • Section 4.3: The Left Tensor Product of Pointed Sets
  • Section 4.4: The Right Tensor Product of Pointed Sets
  • Section 4.5: The Smash Product of Pointed Sets
  • Section 4.6: Miscellany