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
  • Section 2.5: Characteristic Functions
  • Section 2.6: The Adjoint Triple $f_{*}\dashv f^{-1}\dashv f_{!}$
• Chapter 3: Monoidal Structures on the Category of Sets
  • Section 3.1: The Monoidal Category of Sets and Products
  • Section 3.2: The Monoidal Category of Sets and Coproducts
  • Section 3.3: The Bimonoidal Category of Sets, Products, and Coproducts
• Chapter 4: Pointed Sets
  • Section 4.1: Pointed Sets
  • Section 4.2: Limits of Pointed Sets
  • Section 4.3: Colimits of Pointed Sets
  • Section 4.4: Constructions With Pointed Sets
• Chapter 5: Tensor Products of Pointed Sets
  • Section 5.1: Bilinear Morphisms of Pointed Sets
  • Section 5.2: Tensors and Cotensors of Pointed Sets by Sets
  • Section 5.3: The Left Tensor Product of Pointed Sets
  • Section 5.4: The Right Tensor Product of Pointed Sets
  • Section 5.5: The Smash Product of Pointed Sets
  • Section 5.6: Miscellany