Symmetric bimonoidal intermuting categories and reduced bar constructions

DOI10.1007/S10485-013-9317-8zbMATH Open1305.18025arXiv0906.2954OpenAlexW2064083637MaRDI QIDQ2014742FDOQ2014742

Authors: Zoran Petrić, Todd H. Trimble 

Publication date: 16 June 2014

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

Abstract: A new, self-contained, proof of a coherence result for categories equipped with two symmetric monoidal structures bridged by a natural transformation is given. It is shown that this coherence result is sufficient for $omegaimesomega$-indexed family of iterated reduced bar constructions based on such a category.

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

Recommendations

• Intermutation
• The \(n\)-fold reduced bar construction
• Infinite loop spaces, and coherence for symmetric monoidal bicategories
• Coherence for closed categories with biproducts
• Coherence in substructural categories

zbMATH Keywords

coherencesymmetric monoidal categoriesinfinite loop spacesbar construction

Mathematics Subject Classification ID

Bar and cobar constructions (57T30) Infinite loop spaces (55P47)

Cites Work

• Braided tensor categories
• Categories and cohomology theories
• Graph theory with applications
• Frobenius algebras and ambidextrous adjunctions
• Homotopy colimits in the category of small categories
• Title not available (Why is that?)
• Ordinals in Frobenius monads
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Simplicial methods for operads and algebraic geometry. Edited by Carles Casacuberta and Joachim Kock
• Iterated monoidal categories
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Deductive systems and categories
• Functors between tensored categories
• Title not available (Why is that?)
• Coherence in substructural categories
• Intermutation
• Proof-net categories
• Coherence in closed categories
• Generality of proofs and its Brauerian representation
• Proof-theoretical coherence
• Coherence for modalities
• Title not available (Why is that?)
• The maximality of Cartesian categories
• Bicartesian Coherence Revisited

Cited In (5)

• Intermutation
• 2-categories of symmetric bimodules and their 2-representations
• The \(n\)-fold reduced bar construction
• Coherence in monoidal track categories
• Coherence for closed categories with biproducts

This page was built for publication: Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2014742)