The following pages link to (Q5261938):
Displayed 12 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)
- 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)
- (Q5004668) (← links)
- An Essential Local Geometric Morphism which is not Locally Connected though its Inverse Image Part defines an Exponential Ideal (Q5006461) (← links)
- (Q5233741) (← links)