1 Sets
This chapter (will eventually) contain material on axiomatic set theory, as well as a couple other things.
- Section 1.1: Sets and Functions
-
Section 1.2: The Enrichment of Sets in Classical Truth Values
-
Subsection 1.2.1:
-Categories-
Definition 1.2.1.1.1:
-Categories
-
Definition 1.2.1.1.1:
-
Subsection 1.2.2:
-Categories -
Subsection 1.2.3:
-Categories -
Subsection 1.2.4: Tables of Analogies Between Set Theory and Category Theory
- Remark 1.2.4.1.1: Basic Analogies Between Set Theory and Category Theory
- Remark 1.2.4.1.2: Analogies Between Set Theory and Category Theory: Powersets and Categories of Presheaves
- Remark 1.2.4.1.3: Analogies Between Set Theory and Category Theory: Categories of Elements
- Remark 1.2.4.1.4: Analogies Between Set Theory and Category Theory: Functions Between Powersets and Functors Between Presheaf Categories
- Remark 1.2.4.1.5: Analogies Between Set Theory and Category Theory: Relations and Profunctors
-
Subsection 1.2.1: