TY  - RPRT
TI  - Lawvere completion and separation via closure
AU  - Dirk Hofmann
AU  - Walter Tholen
PY  - 2007
UR  - https://arxiv.org/abs/0801.0199
ID  - 0801.0199
ER  -