Symmetric bimonoidal intermuting categories and $omegatimesomega$ reduced bar constructions
Notice: This research summary and analysis were automatically generated using AI technology. For absolute accuracy, please refer to the [Original Paper Viewer] below or the Original ArXiv Source.
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 $\omega\times\omega$-indexed family of iterated reduced bar constructions based on such a category.
💡 Research Summary
The paper investigates categories equipped with two symmetric monoidal structures, traditionally denoted ⊗ and ⊕, that are linked by a natural transformation
\
Comments & Academic Discussion
Loading comments...
Leave a Comment