TY - RPRT TI - Lax comma categories: cartesian closedness, extensivity, topologicity, and descent AU - Maria Manuel Clementino AU - Fernando Lucatelli Nunes AU - Rui Prezado PY - 2024 UR - https://arxiv.org/abs/2405.03773 ID - 2405.03773 ER -