On supercompactly and compactly generated toposes

MaRDI QIDQ5163480zbMATH OpenFDO

Authors Morgan Rogers

Publication date 4 November 2021

Full work available at URL https://arxiv.org/abs/2101.04015, http://www.tac.mta.ca/tac/volumes/37/32/37-32abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

coherent toposGrothendieck toposmorphism of sitespresheaf toposregular topossupercompact object

Mathematics Subject Classification ID

Topoi (18B25) Grothendieck topologies and Grothendieck topoi (18F10)

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.

Recommendations

• scientific article; zbMATH DE number 3993822
• On toposes generated by cardinal finite objects
• Elementary axioms for canonical points of toposes
• Every sufficiently cohesive topos is infinitesimally generated
• scientific article; zbMATH DE number 2117177

Cites work

• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 1842473 (Why is no real title available?)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• Projective and supercoherent frames
• Reports of the Midwest Category Seminar
• Sheaves in geometry and logic: a first introduction to topos theory
• Site characterizations for geometric invariants of toposes
• Sites whose topoi are the smooth representations of locally prodiscrete monoids
• Syntactic characterizations of properties of classifying toposes
• Theories, sites, toposes. Relating and studying mathematical theories through topos-theoretic `bridges'
• Topological Galois theory

Cited in

(5)

• scientific article; zbMATH DE number 1101638 (Why is no real title available?)
• On toposes generated by cardinal finite objects
• Every sufficiently cohesive topos is infinitesimally generated
• scientific article; zbMATH DE number 6997478 (Why is no real title available?)
• On Vervaat's sup vague topology

This page was built for publication: On supercompactly and compactly generated toposes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5163480)