Quasi-Eheresmann-Dedecker Universes
Logic
2017-08-22 v1
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.
Cite
@article{arxiv.1708.05839,
title = {Quasi-Eheresmann-Dedecker Universes},
author = {Decio Krause},
journal= {arXiv preprint arXiv:1708.05839},
year = {2017}
}