کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4662385 1633542 2007 19 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Medial commutativity
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
Medial commutativity
چکیده انگلیسی

It is shown that all the assumptions for symmetric monoidal categories follow from a unifying principle involving natural isomorphisms of the type (A∧B)∧(C∧D)→(A∧C)∧(B∧D), called medial commutativity. Medial commutativity in the presence of the unit object enables us to define associativity and commutativity natural isomorphisms. In particular, Mac Lane’s pentagonal and hexagonal coherence conditions for associativity and commutativity are derived from the preservation up to a natural isomorphism of medial commutativity by the biendofunctor ∧. This preservation boils down to an isomorphic representation of the Yang–Baxter equation of symmetric and braid groups. The assumptions of monoidal categories, and in particular Mac Lane’s pentagonal coherence condition, are explained in the absence of commutativity, and also of the unit object, by a similar preservation of associativity by the biendofunctor ∧. In the final section one finds coherence conditions for medial commutativity in the absence of the unit object. These conditions are obtained by taking the direct product of the symmetric groups for 0≤i≤n.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 146, Issues 2–3, May 2007, Pages 237-255