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

Z. Petric; T. Trimble

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

Category Theory 2013-05-28 v7 Algebraic Topology

Authors: Z. Petric , T. Trimble

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.

Keywords

symmetric monoidal categories bimonoidal categories intermuting categories coherence reduced bar construction iterated bar construction

Cite

@article{arxiv.0906.2954,
  title  = {Symmetric bimonoidal intermuting categories and $\omega\times\omega$ reduced bar constructions},
  author = {Z. Petric and T. Trimble},
  journal= {arXiv preprint arXiv:0906.2954},
  year   = {2013}
}

Comments

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

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

Abstract

Keywords

Cite

Comments

Related papers