TY - RPRT TI - Pure maps are strict monomorphisms AU - Kristóf Kanalas PY - 2025 UR - https://arxiv.org/abs/2407.13448 ID - 2407.13448 ER -