TY - RPRT TI - A Completeness Theorem for Topological Doctrines AU - Silvio Ghilardi AU - Jérémie Marquès PY - 2025 UR - https://arxiv.org/abs/2507.20768 ID - 2507.20768 ER -