Intermutation (Q421481): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
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)]. | |||
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)]. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Jiří Rosický / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18D10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55P35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
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 | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3193017023 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0701325 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higher-dimensional algebra and topological quantum field theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higher dimensional algebra. I: Braided monoidal 2-categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Iterated monoidal categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Introduction to bicategories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computer Science Logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cut elimination inside a deep inference system for classical predicate logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Local System for Classical Logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proving termination with multiset orderings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cartesian isomorphisms are symmetric monoidal: A justification of linear logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5411254 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coherence for star-autonomous categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Medial commutativity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5586461 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Operads in iterated monoidal categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Braided tensor categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5617745 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5423981 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4367588 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5655527 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4215784 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5665322 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 07:11, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Intermutation |
scientific article |
Statements
Intermutation (English)
0 references
23 May 2012
0 references
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
coherence
0 references
monoidal category
0 references
iterated monoidal category
0 references
loop space
0 references