@misc{indiciae3f018b1399de,
  title = {Locales, the locally fine construction and formal spaces},
  author = {Aarno Hohti},
  year = {2002},
  url = {https://arxiv.org/abs/math/0208252},
  note = {Source identifier: math/0208252}
}