TY - RPRT TI - Atomic Toposes with Co-Well-Founded Categories of Atoms AU - Jérémie Marquès PY - 2025 UR - https://arxiv.org/abs/2406.14346 ID - 2406.14346 ER -