TY - RPRT TI - Cartesian closedness of lax comma categories AU - Maria Manuel Clementino AU - Fernando Lucatelli Nunes PY - 2026 UR - https://arxiv.org/abs/2611.01184 ID - 2611.01184 ER -