Symmetric Bimonoidal Intermuting Categories and ω × ω Reduced Bar Constructions.

Autor: Petrić, Zoran, Trimble, Todd
Zdroj: Applied Categorical Structures; Jun2014, Vol. 22 Issue 3, p467-499, 33p
Abstrakt: 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 ω × ω-indexed family of iterated reduced bar constructions based on such a category. [ABSTRACT FROM AUTHOR]
Databáze: Complementary Index