TY - RPRT TI - Quasistrict symmetric monoidal 2-categories via wire diagrams AU - Bruce Bartlett PY - 2014 UR - https://arxiv.org/abs/1409.2148 ID - 1409.2148 ER -