On Supercompactly and Compactly Generated Toposes
arXiv:2101.04015
Abstract
We present and characterize the classes of Grothendieck toposes having enough supercompact objects or enough compact objects. In the process, we examine the subcategories of supercompact objects and compact objects within such toposes and classes of geometric morphism which interact well with these objects. We also present canonical classes of sites generating such toposes.
61 pages. Project under the INdAM Doctoral Programme in Mathematics and/or Applications Cofunded by Marie Sklodowska-Curie Actions, INdAM-DP-COFUND-2015, grant number 713485