On toposes generated by cardinal finite objects

DOI10.1017/S0305004117000408zbMATH Open1401.18008arXiv1505.04987OpenAlexW2962802575MaRDI QIDQ4582992FDOQ4582992

Authors: Simon Henry 

Publication date: 27 August 2018

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

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.

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

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

zbMATH Keywords

toposfinite objectsgenerating objectsseparated topos

Mathematics Subject Classification ID

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

Cites Work

• Sheaves in geometry and logic: a first introduction to topos theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Compact spaces and distributive lattices.
• Proper maps of toposes
• Measure theory over Boolean toposes

Cited In (14)

• An exact coexact characterization of the finite cardinals
• Title not available (Why is that?)
• Finite cardinals in general topoi
• Title not available (Why is that?)
• Hausdorff separations and decidability
• Internal parameterization of hyperconnected quotients
• Title not available (Why is that?)
• Title not available (Why is that?)
• Generating families in a topos
• 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
• Title not available (Why is that?)

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)