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