TY - RPRT TI - Factorization systems and double categories AU - Miloslav Štěpán PY - 2023 UR - https://arxiv.org/abs/2305.06714 ID - 2305.06714 ER -