TY - RPRT TI - Constructing symmetric monoidal bicategories AU - Michael A. Shulman PY - 2010 UR - https://arxiv.org/abs/1004.0993 ID - 1004.0993 ER -