Authors: Došen, Kosta 
Petrić, Zoran 
Affiliations: Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: Intermutation
Journal: Applied Categorical Structures
Volume: 20
Issue: 1
First page: 43
Last page: 95
Issue Date: 1-Feb-2012
Rank: M23
ISSN: 0927-2852
DOI: 10.1007/s10485-010-9228-x
This paper proves coherence results for categories with a natural transformation called intermutation made of arrows from (A ∨ B) ∧ (C ∨ D) to (A ∨ C) ∧ (B ∨ D), for ∧ and ∨ being two biendofunctors. Intermutation occurs in iterated, or n-fold, monoidal categories, which were introduced in connection with n-fold loop spaces, and for which a related, but different, coherence result was obtained previously by Balteanu, Fiedorowicz, Schwanzl and Vogt. The results of the present paper strengthen up to a point this previous result, and show that twofold loop spaces arise in the manner envisaged by these authors out of categories of a more general kind, which are not two-fold monoidal in their sense. In particular, some categories with finite products and coproducts are such. Coherence in Mac Lane's "all diagrams commute" sense is proved here first for categories where for ∧ and ∨ one assumes only intermutation, and next for categories where one also assumes natural associativity isomorphisms. Coherence in the sense of coherence for symmetric monoidal categories is proved when one assumes moreover natural commutativity isomorphisms for ∧ and ∨. A restricted coherence result, involving a proviso of the kind found in coherence for symmetric monoidal closed categories, is proved in the presence of two nonisomorphic unit objects. The coherence conditions for intermutation and for the unit objects are derived from a unifying principle, which roughly speaking is about preservation of structures involving one endofunctor by another endofunctor, up to a natural transformation that is not an isomorphism. This is related to weakening the notion ofmonoidal functor.Asimilar, but less symmetric, justification for intermutation was envisaged in connection with iterated monoidal categories. Unlike the assumptions previously introduced for two-fold monoidal categories, the assumptions for the unit objects of the categories of this paper, which are more general, allow an interpretation in logic.
Keywords: Associativity | Coherence | Commutativity | Iterated monoidal categories | Loop spaces | Monoidal categories | Symmetric monoidal categories
Publisher: Springer Link
Project: Ministry of Science of Serbia (Grants 144013 and 144029)

Show full item record


checked on Jul 19, 2024

Page view(s)

checked on May 10, 2024

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.