TY  - RPRT
TI  - A Foundation for Synthetic Stone Duality
AU  - Felix Cherubini
AU  - Thierry Coquand
AU  - Freek Geerligs
AU  - Hugo Moeneclaey
PY  - 2024
UR  - https://arxiv.org/abs/2412.03203
ID  - 2412.03203
ER  -