Intermutation

DOI10.1007/S10485-010-9228-XzbMath1258.18004arXivmath/0701325OpenAlexW3193017023MaRDI QIDQ421481

Kosta Došen, Zoran Petrić

Publication date: 23 May 2012

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0701325

zbMATH Keywords

coherencemonoidal categoryloop spaceiterated monoidal category

Mathematics Subject Classification ID

Loop spaces (55P35)

Related Items (2)

Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions ⋮ The \(n\)-fold reduced bar construction

Cites Work

• Cut elimination inside a deep inference system for classical predicate logic
• Medial commutativity
• Braided tensor categories
• Iterated monoidal categories
• Higher dimensional algebra. I: Braided monoidal 2-categories
• Operads in iterated monoidal categories
• Coherence for star-autonomous categories
• A Local System for Classical Logic
• Proving termination with multiset orderings
• Cartesian isomorphisms are symmetric monoidal: A justification of linear logic
• Introduction to bicategories
• Higher-dimensional algebra and topological quantum field theory
• Computer Science Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Intermutation