TY - RPRT TI - When is Cat(Q) cartesian closed? AU - Isar Stubbe AU - Junche Yu PY - 2026 UR - https://arxiv.org/abs/2501.03942 ID - 2501.03942 ER -