TY - RPRT TI - Cartesian closed varieties I: the classification theorem AU - Richard Garner PY - 2023 UR - https://arxiv.org/abs/2302.04402 ID - 2302.04402 ER -