Symmetric bimonoidal intermuting categories and $\omega \times \omega$ reduced bar constructions

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 $\omega \times \omega$-indexed family of iterated reduced bar constructions based on such a category.

37 pages, this version is co-authored with Todd Trimble

References in corpus (2)

• Bicartesian Coherence Revisited
• Ordinals in Frobenius Monads

Cited by in corpus (1)

• Monoids, Segal's condition and bisimplicial spaces