TY - RPRT TI - Parametrized higher category theory AU - Jay Shah PY - 2022 DO - 10.2140/agt.2023.23.509 UR - https://arxiv.org/abs/1809.05892 ID - 1809.05892 ER -