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

zbMATH Open1375.18017MaRDI QIDQ5261938FDOQ5261938

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

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

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

zbMATH Keywords

topos theoryaxiomatic cohesion

Mathematics Subject Classification ID

Topoi (18B25)

Cited In (16)

• 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
• Title not available (Why is that?)
• Brouwer's fixed-point theorem in real-cohesive homotopy type theory
• Monoid properties as invariants of toposes of monoid actions
• THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES
• Title not available (Why is that?)
• Maps with discrete fibers and the origin of basepoints
• The construction of \(\pi_0\) in Axiomatic Cohesion
• Decidable objects and molecular toposes
• Smooth spaces versus continuous spaces in models for synthetic differential geometry
• 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)