Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness

MaRDI QIDQ5261938zbMATH OpenFDO

Authors F. William Lawvere, Matias Menni

Publication date 8 July 2015

Full work available at URL http://www.emis.de/journals/TAC/volumes/30/26/30-26abs.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

topos theoryaxiomatic cohesion

Mathematics Subject Classification ID

Topoi (18B25)

Recommendations

• Continuous cohesion over sets
• Restricted internal choice in a topos
• The canonical intensive quality of a cohesive topos
• scientific article; zbMATH DE number 7229466
• The construction of \(\pi_0\) in Axiomatic Cohesion

Cited in

(16)

• The unity and identity of decidable objects and double-negation sheaves
• Monic skeleta, boundaries, Aufhebung, and the meaning of `one-dimensionality'
• The successive dimension, without elegance
• The least subtopos containing the discrete skeleton of \(\Omega\)
• Restricted internal choice in a topos
• An Essential Local Geometric Morphism which is not Locally Connected though its Inverse Image Part defines an Exponential Ideal
• Brouwer's fixed-point theorem in real-cohesive homotopy type theory
• Monoid properties as invariants of toposes of monoid actions
• Maps with discrete fibers and the origin of basepoints
• The construction of \(\pi_0\) in Axiomatic Cohesion
• Smooth spaces versus continuous spaces in models for synthetic differential geometry
• Decidable objects and molecular toposes
• The canonical intensive quality of a cohesive topos
• On the relation between continuous and combinatorial
• The hyperconnected maps that are local
• Introduction: A personal tribute to Peter Freyd and Bill Lawvere

This page was built for publication: Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness

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