TY - RPRT TI - Completion for braided enriched monoidal categories AU - Scott Morrison AU - David Penneys AU - Julia Plavnik PY - 2018 UR - https://arxiv.org/abs/1809.09782 ID - 1809.09782 ER -