TY - RPRT TI - The smallest $n$-pure subtopos and dimension theory AU - Jens Hemelaer PY - 2025 UR - https://arxiv.org/abs/2510.10349 ID - 2510.10349 ER -