TY - RPRT TI - Classical Distributive Restriction Categories AU - Robin Cockett AU - Jean-Simon Pacaud Lemay PY - 2025 UR - https://arxiv.org/abs/2305.16524 ID - 2305.16524 ER -