Obstructions to coherence: Natural noncoherent associativity (Q1973365): Difference between revisions
From MaRDI portal
Changed an Item |
Created claim: Wikidata QID (P12): Q126844142, #quickstatements; #temporary_batch_1719522971091 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q126844142 / rank | |||
Normal rank |
Latest revision as of 23:18, 27 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Obstructions to coherence: Natural noncoherent associativity |
scientific article |
Statements
Obstructions to coherence: Natural noncoherent associativity (English)
0 references
22 November 2001
0 references
The author starts with the definition of associative categories. These are categories with a tensor product \(\otimes\) and a natural associativity which does not necessarily obey the pentagon identities of monoidal categories. He studies so-called Catalan groupoids \(A_n\) consisting of associations of \(n\) copies of a fixed symbol and reassociations between these associations. These categories are constructed in a similar way as Stasheff's complexes used in the theory of homotopy associativity of \(H\)-spaces. Out of \(\{A_n\}_{n\in {\mathbb N}}\) the author constructs the free associative category \(\overline {\mathcal A}\) on one generator. \(\overline {\mathcal A}\) has a universal property in that there exists a unique (strict) tensor functor from \(\overline {\mathcal A}\) to the category of iterates over an associative category \({\mathcal B}\) such that the generators and the reassociations will be mapped canonically. Furthermore \(\{A_n\}_{n\in {\mathbb N}}\) has the structure of a non-\(\Sigma\) non-unital operad in \({\mathcal C}at\). Using the operad structure the 2-sketch \(A\) of the theory of associative categories will be constructed. Similar techniques as for the calculation of fundamental groups of simplicial complexes will be exploited to calculate the fundamental groups of the various \(A_n\). The morphisms of \(A_n\) are the generators of the fundamental group. The explicit structure of these groups has been calculated for the first seven groupoids \(A_n\).
0 references
associative categories
0 references
Catalan groupoids
0 references
noncoherence
0 references
homotopy associativity
0 references
operad
0 references
2-sketch
0 references
fundamental groups of simplicial complexes
0 references