Synthetic Topology

References

• Synthetic Topology in Homotopy Type Theory for Probabilistic Programming. Martin E. Bidlingmaier, Florian Faissole, Bas Spitters. 2021.
• Homotopy type theory, Synthetic Topology and Probabilistic Programming. Bas Spitters. 2019.
• Synthetic Topology and Constructive Metric Spaces. Davorin Lešnik. 2010.