TY - RPRT TI - A bicategorical pasting theorem AU - Niles Johnson AU - Donald Yau PY - 2019 UR - https://arxiv.org/abs/1910.01220 ID - 1910.01220 ER -