The following pages link to Metric spaces in synthetic topology (Q651311):
Displaying 8 items.
- The intrinsic topology of Martin-Löf universes (Q290640) (← links)
- On fixed-point theorems in synthetic computability (Q1683373) (← links)
- Quotienting the delay monad by weak bisimilarity (Q4559601) (← links)
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory (Q4640312) (← links)
- (Q5028461) (← links)
- Every metric space is separable in function realizability (Q5377467) (← links)
- On the topological aspects of the theory of represented spaces (Q5740207) (← links)
- Constructive decidability of classical continuity (Q5740671) (← links)
