@misc{indiciae67bf181f1e5c,
  title = {Lawvere completion and separation via closure},
  author = {Dirk Hofmann and Walter Tholen},
  year = {2007},
  url = {https://arxiv.org/abs/0801.0199},
  note = {Source identifier: 0801.0199}
}