TY - RPRT TI - Coherence for indexed symmetric monoidal categories AU - Cary Malkiewich AU - Kate Ponto PY - 2023 UR - https://arxiv.org/abs/1811.12873 ID - 1811.12873 ER -