TY  - RPRT
TI  - Compact Hausdorff Locales in presheaf toposes
AU  - Simon Henry
AU  - Christopher Townsend
PY  - 2022
UR  - https://arxiv.org/abs/2208.04228
ID  - 2208.04228
ER  -