We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.CT

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Category Theory

Title: Category Theory with Stratified Set Theory

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.
Subjects: Category Theory (math.CT); Logic (math.LO)
Cite as: arXiv:1911.04704 [math.CT]
  (or arXiv:1911.04704v2 [math.CT] for this version)

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.