TY - RPRT TI - Equ-saturating categories AU - Dominique Bourn PY - 2025 UR - https://arxiv.org/abs/2503.13190 ID - 2503.13190 ER -