Algebras of higher operads as enriched categories (Q633792): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / arXiv ID | |||
Property / arXiv ID: 0803.3594 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Eckmann-Hilton argument and higher operads / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Iterated wreath product of the simplex category and iterated loop spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Introduction to extensive and distributive categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4226768 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4419463 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coherence for tricategories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934579 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5701019 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Codescent objects and coherence / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3159161 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cosimplical objects and little n -cubes, I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3156505 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5454622 / rank | |||
Normal rank |
Latest revision as of 22:48, 3 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Algebras of higher operads as enriched categories |
scientific article |
Statements
Algebras of higher operads as enriched categories (English)
0 references
30 March 2011
0 references
This paper develops machinery for defining coherence in higher category theory. Globular operads [\textit{M. A. Batanin}, Adv. Math. 136, No.~1, 39--103 (1998; Zbl 0912.18006)] were developed as a natural home for weak higher categorical structures. On the other hand, there is also an inductive approach that views weak (\(n+1\))-categories as those enriched in weak \(n\)-categories. The results presented in this paper connect these two approaches. The authors use the notion of a multitensor, a generalization of a (non-symmetric) operad. They develop this idea and show that starting with a multitensor, under some hypotheses there is a monad whose algebras are the algebras of the multitensor. They then apply this to the monad \(T\) on the category of globular sets whose algebras are strict \(\omega\)-categories, and use this idea to express \(T\)-operad algebras as enriched categories, thus clarifying the inductive nature of the globular operad approach. They finish by showing that the algebras for the monad are the same as strict \(\omega\)-categories defined in the usual way by successive enrichments.
0 references
operads
0 references
higher-dimensional categories
0 references
lax monoidal categories
0 references
enriched categories
0 references
0 references