TY - RPRT TI - Lax structures in 2-category theory AU - Miloslav Štěpán PY - 2025 UR - https://arxiv.org/abs/2504.04467 ID - 2504.04467 ER -