TY - RPRT TI - Coherence for braided and symmetric pseudomonoids AU - Dominic Verdon PY - 2018 UR - https://arxiv.org/abs/1705.09354 ID - 1705.09354 ER -