TY - RPRT TI - The animation of the opposite of finite sets AU - Benjamin Antieau PY - 2025 UR - https://arxiv.org/abs/2508.13106 ID - 2508.13106 ER -