TY - RPRT TI - Compact totally separated types AU - Martín Hötzel Escardó PY - 2026 UR - https://arxiv.org/abs/2609.10447 ID - 2609.10447 ER -