Slides for a talk I gave on my upcoming MSc thesis which investigates formal topology in the context of Univalent Foundations.
As mentioned in the slides, the Baire space example is available in clickable HTML at: https://ayberkt.gitlab.io/msc-thesis/BaireSpace.html.