TY - RPRT TI - *-Autonomous categories in quantum theory AU - Brian Day PY - 2011 UR - https://arxiv.org/abs/math/0605037 ID - math/0605037 ER -