TY - RPRT TI - Coherence for bicategories, lax functors, and shadows AU - Cary Malkiewich AU - Kate Ponto PY - 2021 UR - https://arxiv.org/abs/2109.01249 ID - 2109.01249 ER -