Coherence and strictification for self-similarity

DOI10.1007/S40062-016-0154-YzbMATH Open1375.18042arXiv1304.5954OpenAlexW1957830205WikidataQ59474847 ScholiaQ59474847MaRDI QIDQ504539FDOQ504539

Authors: Yong-Cai Geng, Sumit K. Garg 

Publication date: 17 January 2017

Published in: Journal of Homotopy and Related Structures (Search for Journal in Brave)

Abstract: This paper studies questions of coherence and strictification related to self-similarity - the identity $ScongSotimesS$ in a (semi-)monoidal category. Based on Saavedra's theory of units, we first demonstrate that strict self-similarity cannot simultaneously occur with strict associativity -- i.e. no monoid may have a strictly associative (semi-)monoidal tensor, although many monoids have a semi-monoidal tensor associative up to isomorphism. We then give a simple coherence result for the arrows exhibiting self-similarity and use this to describe a `strictification procedure' that gives a semi-monoidal equivalence of categories relating strict and non-strict self-similarity, and hence monoid analogues of many categorical properties. Using this, we characterise a large class of diagrams (built from the canonical isomorphisms for the relevant tensors, together with the isomorphisms exhibiting the self-similarity) that are guaranteed to commute.

Full work available at URL: https://arxiv.org/abs/1304.5954

Recommendations

• A short note on coherence and self-similarity
• scientific article; zbMATH DE number 1373517
• \(\otimes\)-strict AU categories
• Coherence in substructural categories
• Coherence of associativity in categories with multiplication

zbMATH Keywords

coherenceself-similaritycategory theory

Mathematics Subject Classification ID

Cites Work

• Braided tensor categories
• Introductory notes on Richard Thompson's groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A general coherence result
• Geometry of Interaction and linear combinatory algebras
• On MacLane's conditions for coherence of natural associativities, commutativities, etc
• Thompson’s Group and Public Key Cryptography
• An infinite-dimensional torsion-free \(\text{FP}_{\infty}\) group
• An abstract characterization of Thompson's group \(F\).
• Title not available (Why is that?)
• Catégories tannakiennes
• \(H^\ast\)-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
• The homology of Richard Thompson's group \(F\).
• Algebraically compact functors
• Idempotents in dagger categories (extended abstract)
• Tiling semigroups
• An application of polycyclic monoids to rings
• Coherence of associativity in categories with multiplication
• Coherence for weak units
• A class of subgroups of Thompson's group \(V\).
• The outer limits of reason. What science, mathematics, and logic cannot tell us
• Identities in modular arithmetic from reversible coherence operations
• Lambda‐Algebras and C‐Monoids
• Title not available (Why is that?)
• A categorical analogue of the monoid semiring construction
• On the Functor ℓ2
• Classical structures based on unitaries
• Types and forgetfulness in categorical linguistics and quantum mechanics
• Elementary remarks on units in monoidal categories
• A general theory of self-similarity

Cited In (9)

• A short note on coherence and self-similarity
• Universal semigroups
• Space in Monoidal Categories
• Coherence simplices
• A correspondence between a class of monoids and self-similar group actions II
• On strictifying extensional reflexivity in compact closed categories
• Tensor topology
• Selfcoincidences in higher codimensions
• Categorical properties of generalized σ-derivations on modules

This page was built for publication: Coherence and strictification for self-similarity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q504539)