Coherence and strictification for self-similarity
From MaRDI portal
(Redirected from Publication:504539)
Abstract: This paper studies questions of coherence and strictification related to self-similarity - the identity 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.
Recommendations
Cites work
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 45228 (Why is no real title available?)
- scientific article; zbMATH DE number 1761434 (Why is no real title available?)
- scientific article; zbMATH DE number 195199 (Why is no real title available?)
- scientific article; zbMATH DE number 1373517 (Why is no real title available?)
- scientific article; zbMATH DE number 3328203 (Why is no real title available?)
- A categorical analogue of the monoid semiring construction
- A class of subgroups of Thompson's group V.
- A general coherence result
- A general theory of self-similarity
- Algebraically compact functors
- An abstract characterization of Thompson's group \(F\).
- An application of polycyclic monoids to rings
- An infinite-dimensional torsion-free \(\text{FP}_{\infty}\) group
- Braided tensor categories
- Catégories tannakiennes
- Classical structures based on unitaries
- Coherence for weak units
- Coherence of associativity in categories with multiplication
- Elementary remarks on units in monoidal categories
- Geometry of Interaction and linear combinatory algebras
- Idempotents in dagger categories (extended abstract)
- Identities in modular arithmetic from reversible coherence operations
- Introductory notes on Richard Thompson's groups
- Lambda‐Algebras and C‐Monoids
- On MacLane's conditions for coherence of natural associativities, commutativities, etc
- On the Functor ℓ2
- The homology of Richard Thompson's group \(F\).
- The outer limits of reason. What science, mathematics, and logic cannot tell us
- Thompson’s Group and Public Key Cryptography
- Tiling semigroups
- Types and forgetfulness in categorical linguistics and quantum mechanics
- \(H^\ast\)-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
Cited in
(9)- Selfcoincidences in higher codimensions
- A short note on coherence and self-similarity
- Categorical properties of generalized σ-derivations on modules
- 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
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)
