English
Related papers

Related papers: Enriched $\infty$-operads

200 papers

We introduce a general notion of enrichment for homotopy-coherent algebraic structures described by Segal conditions, using the framework of "algebraic patterns" developed in our previous work. This recovers several known examples of…

Category Theory · Mathematics 2023-11-22 Hongyi Chu , Rune Haugseng

We compare two models for $\infty$-operads: the complete Segal operads of Barwick and the complete dendroidal Segal spaces of Cisinski and Moerdijk. Combining this with comparison results already in the literature, this implies that all…

Algebraic Topology · Mathematics 2020-11-03 Hongyi Chu , Rune Haugseng , Gijs Heuts

We set up a general theory of weak or homotopy-coherent enrichment in an arbitrary monoidal $\infty$-category $\mathcal{V}$. Our theory of enriched $\infty$-categories has many desirable properties; for instance, if the enriching…

Algebraic Topology · Mathematics 2019-11-15 David Gepner , Rune Haugseng

Using the description of enriched $\infty$-operads as associative algebras in symmetric sequences, we define algebras for enriched $\infty$-operads as certain modules in symmetric sequences. For $\mathbf{V}$ a symmetric monoidal model…

Algebraic Topology · Mathematics 2025-11-05 Rune Haugseng

We prove a rectification theorem for enriched infinity-categories: If V is a nice monoidal model category, we show that the homotopy theory of infinity-categories enriched in V is equivalent to the familiar homotopy theory of categories…

Algebraic Topology · Mathematics 2020-11-03 Rune Haugseng

Enriched categories are categories whose sets of morphisms are enriched with extra structure. Such categories play a prominent role in the study of higher categories, homotopy theory, and the semantics of programming languages. In this…

Logic in Computer Science · Computer Science 2026-04-21 Niels van der Weide

We study the (\infty, 1)-category of autoequivalences of \infty-operads. Using techniques introduced by To\"en, Lurie, and Barwick and Schommer-Pries, we prove that this (\infty, 1)-category is a contractible \infty-groupoid. Our…

Algebraic Topology · Mathematics 2020-09-07 Dimitri Ara , Moritz Groth , Javier J. Gutiérrez

We develop an $\infty$-categorical version of the classical theory of polynomial and analytic functors, initial algebras, and free monads. Using this machinery, we provide a new model for $\infty$-operads, namely $\infty$-operads as…

Algebraic Topology · Mathematics 2020-10-30 David Gepner , Rune Haugseng , Joachim Kock

We develop a theory of infinity properads enriched in a general symmetric monoidal infinity category. These are defined as presheaves, satisfying a Segal condition and a Rezk completeness condition, over certain categories of graphs. In…

Algebraic Topology · Mathematics 2022-03-14 Hongyi Chu , Philip Hackney

We develop a theory of enriched categories over a (higher) category M equipped with a class W of morphisms called homotopy equivalences. We call them Segal M_W -categories. Our motivation was to generalize the notion of "up-to-homotopy…

Category Theory · Mathematics 2010-09-21 Hugo V. Bacard

We extend the Cisinski-Moerdijk-Weiss theory of $\infty$-operads to the equivariant setting to obtain a notion of $G$-$\infty$-operads that encode "equivariant operads with norm maps" up to homotopy. At the root of this work is the…

Algebraic Topology · Mathematics 2018-05-02 Luis Alexandre Pereira

This paper studies the homotopy theory of the Grothendieck construction using model categories and semi-model categories, provides a unifying framework for the homotopy theory of operads and their algebras and modules, and uses this…

Algebraic Topology · Mathematics 2026-05-20 Michael Batanin , Florian De Leger , David White

We endow categories of non-symmetric operads with natural model structures. We work with no restriction on our operads and only assume the usual hypotheses for model categories with a symmetric monoidal structure. We also study categories…

Algebraic Topology · Mathematics 2011-05-31 Fernando Muro

We prove that two models of (monochromatic) enriched $\infty$-operads, due to Brantner and Chu--Haugseng, are equivalent. We show this as a consequence of the equivalence of two models of monoidal $\infty$-categories of symmetric sequences…

Algebraic Topology · Mathematics 2026-03-30 Kensuke Arakawa

We introduce a new model structure on the category of dendroidal spaces, designed to provide a further model for the homotopy theory of $\infty$-operads. This model is directly analogous to a recent construction on the category of…

Algebraic Topology · Mathematics 2026-01-15 João Candeias , Javier J. Gutiérrez

This paper studies the homotopy theory of algebras and homotopy algebras over an operad. It provides an exhaustive description of their higher homotopical properties using the more general notion of morphisms called infinity-morphisms. The…

Algebraic Topology · Mathematics 2016-02-09 Bruno Vallette

We continue the study of enriched infinity categories, using a definition equivalent to that of Gepner and Haugseng. In our approach enriched infinity categories are associative monoids in an especially designed monoidal category of…

Category Theory · Mathematics 2021-07-06 V. Hinich

In this paper we introduce the notion of an operator category and two different models for homotopy theory of $\infty$-operads over an operator category -- one of which extends Lurie's theory of $\infty$-operads, the other of which is…

Algebraic Topology · Mathematics 2018-04-18 C. Barwick

We use Lurie's symmetric monoidal envelope functor to give two new descriptions of $\infty$-operads: as certain symmetric monoidal $\infty$-categories whose underlying symmetric monoidal $\infty$-groupoids are free, and as certain symmetric…

Category Theory · Mathematics 2022-09-13 Rune Haugseng , Joachim Kock

We introduce the dendroidal analogs of the notions of complete Segal space and of Segal category, and construct two appropriate model categories for which each of these notions corresponds to the property of being fibrant. We prove that…

Category Theory · Mathematics 2013-03-26 Denis-Charles Cisinski , Ieke Moerdijk
‹ Prev 1 2 3 10 Next ›