Symmetric Bimonoidal Intermuting Categories and ω × ω Reduced Bar Constructions

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 categor...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Applied categorical structures 2014, Vol.22 (3), p.467-499
Hauptverfasser:	Petrić, Zoran, Trimble, Todd
Format:	Artikel
Sprache:	eng
Schlagworte:	Convex and Discrete Geometry Geometry Mathematical Logic and Foundations Mathematics Mathematics and Statistics Theory of Computation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	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.
ISSN:	0927-2852 1572-9095
DOI:	10.1007/s10485-013-9317-8