home
items
topology
Topology
Contents
Topological Space
Subspace Topology
Manifold
Neighbourhood
Point-Set Topology/General Topology
Point-Free Topology
Topological Manifold
References
Topological Space
Subspace Topology
Manifold
Neighbourhood
Point-Set Topology/General Topology
Point-Free Topology
Topological Manifold
References
Andrej Bauer, Andrew Swan. Every Metric Space Is Separable in Function Realizability. 2019.
Davorin Lesnik. Synthetic Topology and Constructive Metric Spaces. 2010.
S. Dolecki, F. Mynard. A Unified Theory of Function Spaces and Hyperspaces: Local Properties. 2010.