Elementary Theory of the Category of Sets

GPTKB entity

Statements (21)
Predicate Object
gptkbp:instanceOf gptkb:logic
gptkbp:abbreviation gptkb:ETCS
gptkbp:alternativeTo gptkb:Zermelo-Fraenkel_set_theory
gptkbp:axiomatizes category of sets
gptkbp:basisFor categorical foundations of mathematics
gptkbp:describes category of sets
gptkbp:field gptkb:set_theory
gptkb:category_theory
gptkbp:focusesOn objects and morphisms
gptkbp:hasAxiom subobject classifier
exponentials
finite limits
natural numbers object
gptkbp:hasModel elementary topos
https://www.w3.org/2000/01/rdf-schema#label Elementary Theory of the Category of Sets
gptkbp:introduced gptkb:F._William_Lawvere
gptkbp:introducedIn 1964
gptkbp:publishedIn F. William Lawvere, The Category of Sets, 1964
gptkbp:uses category-theoretic language
gptkbp:bfsParent gptkb:Myles_Tierney
gptkbp:bfsLayer 7