TY - RPRT TI - Canonical extensions via fitted sublocales AU - Tomáš Jakl AU - Anna Laura Suarez PY - 2024 UR - https://arxiv.org/abs/2404.18325 ID - 2404.18325 ER -