TY - RPRT TI - The functorial semantics of Lie theory AU - Benjamin MacAdam PY - 2022 UR - https://arxiv.org/abs/2301.00305 ID - 2301.00305 ER -