Current browse context:
math.LO
Change to browse by:
References & Citations
Mathematics > Category Theory
Title: Category Theory with Stratified Set Theory
(Submitted on 12 Nov 2019 (v1), last revised 13 Nov 2019 (this version, v2))
Abstract: This paper examines the category theory of stratified set theory (NF and KF). We work out the properties of the relevant categories of sets, and introduce a functorial analogue to Specker's T-operation. Such a development leads one to consider the appropriate notion of "elementary topos" for stratified set theories. In addition to considering the categorical properties of a generic model of NF set theory, we identify a stratified Yoneda Lemma and show NF encodes itself as a full internal subcategory. Finally, our desire to examine NF in the context of category theory motivates a more precise examination of strongly cantorian as an appropriate notion of smallness, replacing it with the notion of fibrewise strongly cantorian. In the absence of Choice, we introduce a new axiom (SCU) to NF, and examine some properties of NF + SCU.
Submission history
From: Alice Vidrine [view email][v1] Tue, 12 Nov 2019 07:28:29 GMT (27kb)
[v2] Wed, 13 Nov 2019 22:45:41 GMT (27kb)
Link back to: arXiv, form interface, contact.