On toposes generated by cardinal finite objects

DOI10.1017/S0305004117000408MaRDI QIDQ4582992zbMATH OpenOpenAlexFDO

Authors Simon Henry

Publication date 27 August 2018

Published in Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1505.04987

zbMATH Keywords

toposfinite objectsgenerating objectsseparated topos

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25)

Abstract: We give a characterizations of toposes which admit a generating family of objects which are internally cardinal finite (i.e. Kuratowski finite and decidable) in terms of "topological" conditions. The central result is that, constructively, a hyperconnected separated locally decidable topos admit a generating family of cardinal finite objects. The main theorem is then a generalization obtained as an application of this result internally in the localic reflection of an arbitrary topos: a topos is generated by cardinal finite objects if and only if it is separated, locally decidable, and its localic reflection is zero dimensional.

Recommendations

• scientific article; zbMATH DE number 3886100
• Maps with discrete fibers and the origin of basepoints
• A representation theorem for geometric morphisms
• Covering Etendues and Freyd's Theorem
• On supercompactly and compactly generated toposes
• A proof of the associated sheaf theorem by means of categorical logic
• Sheaf representation for topoi
• scientific article; zbMATH DE number 94042
• De Morgan classifying toposes
• Topical categories of domains

Cites work

• scientific article; zbMATH DE number 3940199 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• Compact spaces and distributive lattices.
• Measure theory over Boolean toposes
• Proper maps of toposes
• Sheaves in geometry and logic: a first introduction to topos theory

Cited in

(14)

• An exact coexact characterization of the finite cardinals
• scientific article; zbMATH DE number 5080413 (Why is no real title available?)
• Finite cardinals in general topoi
• scientific article; zbMATH DE number 7352263 (Why is no real title available?)
• Hausdorff separations and decidability
• Internal parameterization of hyperconnected quotients
• scientific article; zbMATH DE number 5934764 (Why is no real title available?)
• Generating families in a topos
• scientific article; zbMATH DE number 6997478 (Why is no real title available?)
• Every sufficiently cohesive topos is infinitesimally generated
• Sheaf representation for topoi
• \(K\)-finite decidable objects and finite cardinals in an arbitrary topos
• On supercompactly and compactly generated toposes
• scientific article; zbMATH DE number 4065236 (Why is no real title available?)

This page was built for publication: On toposes generated by cardinal finite objects

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