TY - RPRT TI - Tensor product for symmetric monoidal categories AU - Vincent Schmitt PY - 2008 UR - https://arxiv.org/abs/0711.0324 ID - 0711.0324 ER -