@misc{indiciae41fde7beed59,
  title = {Generalized point-free spaces, pointwise},
  author = {Steven Vickers},
  year = {2022},
  url = {https://arxiv.org/abs/2206.01113},
  note = {Source identifier: 2206.01113}
}