4.4 Powersets
- Subsection 4.4.1: Foundations
-
Subsection 4.4.2: Functoriality of Powersets
- Proposition 4.4.2.1.1: Functoriality of Powersets
-
Subsection 4.4.3: Adjointness of Powersets I
- Proposition 4.4.3.1.1: Adjointness of Powersets I
-
Subsection 4.4.4: Adjointness of Powersets II
- Proposition 4.4.4.1.1: Adjointness of Powersets II
- Subsection 4.4.5: Powersets as Free Cocompletions
- Subsection 4.4.6: Powersets as Free Completions
- Subsection 4.4.7: The Internal Hom of a Powerset
- Subsection 4.4.8: Isbell Duality for Sets