Topology

Contents

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.