Restricted exchange, braidings and the monoidal centre Export

@misc{citeulike:611156, abstract = {Braided monoidal categories arise naturally as centres of monoidal categories and have been the focus of much recent attention in both mathematics and physics. By suitably restricting the use of the exchange rule, we obtain a sequent calculus whose categorical semantics may be seen as freely constructing the centre of a monoidal category. This calculus is shown to admit a strongly normalising and confluent cut elimination procedure. The resulting logic fits neatly into the landscape of noncommutative logics and is distinguished by possessing a particularly perspicuous semantics.}, archivePrefix = {arXiv}, author = {Cohen, Jonathan A. and Pastro, Craig A.}, citeulike-article-id = {611156}, citeulike-linkout-0 = {http://arxiv.org/abs/math.LO/0605034}, citeulike-linkout-1 = {http://arxiv.org/pdf/math.LO/0605034}, day = {1}, eprint = {math.LO/0605034}, keywords = {braid, category, logic, noncommutative, pnc, prooftheory}, month = {May}, posted-at = {2006-05-02 06:31:20}, priority = {4}, title = {Restricted exchange, braidings and the monoidal centre}, url = {http://arxiv.org/abs/math.LO/0605034}, year = {2006} }

TY - ELEC ID - citeulike:611156 L3 - citeulike-article-id:611156 N2 - Braided monoidal categories arise naturally as centres of monoidal categories and have been the focus of much recent attention in both mathematics and physics. By suitably restricting the use of the exchange rule, we obtain a sequent calculus whose categorical semantics may be seen as freely constructing the centre of a monoidal category. This calculus is shown to admit a strongly normalising and confluent cut elimination procedure. The resulting logic fits neatly into the landscape of noncommutative logics and is distinguished by possessing a particularly perspicuous semantics. TI - Restricted exchange, braidings and the monoidal centre KW - braid KW - category KW - logic KW - noncommutative KW - pnc KW - prooftheory AU - Cohen, Jonathan AU - Pastro, Craig PY - 2006/May/01/ UR - http://arxiv.org/abs/math.LO/0605034 ER -