TY - RPRT TI - Cartesian Linearly Distributive Categories: Revisited AU - Rose Kudzman-Blais AU - Jean-Simon Pacaud Lemay PY - 2026 UR - https://arxiv.org/abs/2509.04435 ID - 2509.04435 ER -