Pages that link to "Item:Q5261938"

The following pages link to Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness (Q5261938):

Displaying 16 items.

• Introduction: A personal tribute to Peter Freyd and Bill Lawvere (Q680307) (← links)
• Smooth spaces versus continuous spaces in models for synthetic differential geometry (Q790924) (← links)
• The construction of \(\pi_0\) in Axiomatic Cohesion (Q1683374) (← links)
• Monoid properties as invariants of toposes of monoid actions (Q2044554) (← links)
• The hyperconnected maps that are local (Q2223372) (← links)
• On the relation between continuous and combinatorial (Q2363407) (← links)
• Maps with discrete fibers and the origin of basepoints (Q2674403) (← links)
• Restricted internal choice in a topos (Q3688525) (← links)
• Brouwer's fixed-point theorem in real-cohesive homotopy type theory (Q4640312) (← links)
• THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES (Q4647119) (← links)
• The canonical intensive quality of a cohesive topos (Q5004668) (← links)
• An Essential Local Geometric Morphism which is not Locally Connected though its Inverse Image Part defines an Exponential Ideal (Q5006461) (← links)
• Monic skeleta, boundaries, Aufhebung, and the meaning of `one-dimensionality' (Q5233741) (← links)
• The successive dimension, without elegance (Q6154352) (← links)
• The least subtopos containing the discrete skeleton of \(\Omega\) (Q6593823) (← links)
• Decidable objects and molecular toposes (Q6667500) (← links)