Intermutation (Q421481): Difference between revisions

This paper proves a coherence result for categories equipped with a natural transformation from \((A\wedge B)\vee(C\wedge D)\) to \((A\vee C)\wedge(B\vee D)\) where \(\wedge\) and \(\vee\) are biendofunctors. These natural transformations occur in iterated, or \(n\)-fold, monoidal categories. A related, but different, coherence result was obtained by \textit{C. Balteanu} et al. [Adv. Math. 176, No. 2, 277--349 (2003; Zbl 1030.18006)].

0 references

reviewed by

Jiří Rosický

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

coherence

0 references

monoidal category

0 references

iterated monoidal category

0 references

loop space

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

0 references

Higher-dimensional algebra and topological quantum field theory

0 references

Higher dimensional algebra. I: Braided monoidal 2-categories

0 references

Iterated monoidal categories

0 references

Introduction to bicategories

0 references

Computer Science Logic

0 references

Cut elimination inside a deep inference system for classical predicate logic

0 references

A Local System for Classical Logic

0 references

Proving termination with multiset orderings

0 references

Cartesian isomorphisms are symmetric monoidal: A justification of linear logic

0 references

Q5411254

0 references

Coherence for star-autonomous categories

0 references

Medial commutativity

0 references

Q5586461

0 references

Operads in iterated monoidal categories

0 references

Braided tensor categories

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:421481

@@ Property / review text @@
+This paper proves a coherence result for categories equipped with a natural transformation from \((A\wedge B)\vee(C\wedge D)\) to \((A\vee C)\wedge(B\vee D)\) where \(\wedge\) and \(\vee\) are biendofunctors. These natural transformations occur in iterated, or \(n\)-fold, monoidal categories. A related, but different, coherence result was obtained by \textit{C. Balteanu} et al. [Adv. Math. 176, No. 2, 277--349 (2003; Zbl 1030.18006)].
+Normal rank
@@ Property / reviewed by @@
+Jiří Rosický
@@ Property / reviewed by: Jiří Rosický / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D10
@@ Property / Mathematics Subject Classification ID: 18D10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+P35
@@ Property / Mathematics Subject Classification ID: 55P35 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6038209
@@ Property / zbMATH DE Number: 6038209 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+coherence
@@ Property / zbMATH Keywords: coherence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+monoidal category
@@ Property / zbMATH Keywords: monoidal category / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+iterated monoidal category
@@ Property / zbMATH Keywords: iterated monoidal category / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+loop space
@@ Property / zbMATH Keywords: loop space / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3193017023
@@ Property / OpenAlex ID: W3193017023 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+math/0701325
@@ Property / arXiv ID: math/0701325 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-dimensional algebra and topological quantum field theory
+Normal rank
@@ Property / cites work @@
+Higher dimensional algebra. I: Braided monoidal 2-categories
+Normal rank
@@ Property / cites work @@
+Iterated monoidal categories
@@ Property / cites work: Iterated monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to bicategories
@@ Property / cites work: Introduction to bicategories / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Cut elimination inside a deep inference system for classical predicate logic
+Normal rank
@@ Property / cites work @@
+A Local System for Classical Logic
@@ Property / cites work: A Local System for Classical Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Cartesian isomorphisms are symmetric monoidal: A justification of linear logic
+Normal rank
@@ Property / cites work @@
+Q5411254
@@ Property / cites work: Q5411254 / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence for star-autonomous categories
@@ Property / cites work: Coherence for star-autonomous categories / rank @@
+Normal rank
@@ Property / cites work @@
+Medial commutativity
@@ Property / cites work: Medial commutativity / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586461
@@ Property / cites work: Q5586461 / rank @@
+Normal rank
@@ Property / cites work @@
+Operads in iterated monoidal categories
@@ Property / cites work: Operads in iterated monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+Braided tensor categories
@@ Property / cites work: Braided tensor categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5617745
@@ Property / cites work: Q5617745 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5423981
@@ Property / cites work: Q5423981 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4367588
@@ Property / cites work: Q4367588 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5655527
@@ Property / cites work: Q5655527 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5665322
@@ Property / cites work: Q5665322 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:421481