Symmetric bimonoidal intermuting categories and reduced bar constructions

DOI10.1007/S10485-013-9317-8MaRDI QIDQ2014742zbMATH OpenOpenAlexFDO

Authors Zoran Petrić, Todd H. Trimble

Publication date 16 June 2014

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

Full work available at URL https://arxiv.org/abs/0906.2954, http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.249.9235

zbMATH Keywords

coherencesymmetric monoidal categoriesinfinite loop spacesbar construction

Mathematics Subject Classification ID

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

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.

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

Cites work

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

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)