Intermutation
From MaRDI portal
Publication:421481
DOI10.1007/s10485-010-9228-xzbMath1258.18004arXivmath/0701325MaRDI QIDQ421481
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
55P35: Loop spaces
Related Items
The \(n\)-fold reduced bar construction, Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions
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