Quasi-Eheresmann-Dedecker Universes
From MaRDI portal
Publication:6290271
arXiv1708.05839MaRDI QIDQ6290271FDOQ6290271
Authors: Décio Krause 
Publication date: 19 August 2017
Abstract: We introduce the notion of quasi-Ehresmann-Dedecker universes in quasi-set theory in order to get a framework to develop a categorical version of quasi-set theory, so characterizing the category Qset in a similar way as the category Set is obtained from (say) ZFC plus universes. The Ehresmann-Dedecker universes generalize the usual Sonner-Grothendieck universes and are more adequate for dealing with Urelemente, which is the case of quasi-set theory. This paper is just a sketch where the main ideas are presented.
Nonclassical and second-order set theories (03E70) Enriched categories (over closed or monoidal categories) (18D20)
This page was built for publication: Quasi-Eheresmann-Dedecker Universes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6290271)
