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

axiomatic cohesiontopos theory

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

(18)

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

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)