The following pages link to (Q5261938):
Displayed 5 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)
- On the relation between continuous and combinatorial (Q2363407) (← links)
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory (Q4640312) (← links)