An Elementary Theory of the Category of Sets (ETCS)
Conference Paper
Formal Antecedent
Category Theory
Citation
F. William Lawvere. (1964). An Elementary Theory of the Category of Sets (ETCS). Proceedings of the National Academy of Sciences. 52. pp. 1506–1511.
Why this reference is included
Lawvere’s An Elementary Theory of the Category of Sets (ETCS) (1964) is a key conference paper that the program draws on as a technical source. Cited across Book VII (Categorical Metaphysics), Part 1, Chapter Archetypes as Minimal j-Closed Fixed Points; Book VII (Categorical Metaphysics), Part 7, Chapter Dignity as Meta-Ethical Foundation — the central framing is “The operator j : Ω Ω satisfies the Lawvere–Tierney axioms : (LT1): j ∘ true = true (truth is closed)”.
Cited in
-
Book VII — Categorical Metaphysics Part 1Chapter Archetypes as Minimal j-Closed Fixed Points
The operator j : Ω Ω satisfies the Lawvere–Tierney axioms : (LT1): j ∘ true = true (truth is closed)
-
Book VII — Categorical Metaphysics Part 7Chapter Dignity as Meta-Ethical Foundation
(i)–(iii): By standard results on reflective subcategories and Lawvere–Tierney topologies (Mac Lane and Moerdijk, Sheaves in Geometry and Logic)