English
Related papers

Related papers: Rigidification of dendroidal infinity-operads

200 papers

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

Let M be a bicomplete, closed symmetric monoidal category. Let P be an operad in M, i.e., a monoid in the category of symmetric sequences of objects in M, with its composition monoidal structure. Let R be a P-co-ring, i.e., a comonoid in…

Algebraic Topology · Mathematics 2007-05-23 Kathryn Hess , Paul-Eugene Parent , Jonathan Scott

We extend the theory of d-categories, by providing an explicit description of the right mapping spaces of the d-homotopy category of an $\infty$-category. Using this description, we deduce an invariant $\infty$-categorical characterization…

Algebraic Topology · Mathematics 2019-02-13 Tomer M. Schlank , Lior Yanovski

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

It was shown in a recent paper by Boavida de Brito and Weiss that a well-known construction which to a plain (=monochromatic) topological operad associates a topological category and a functor from it to the category of finite sets is…

Algebraic Topology · Mathematics 2018-03-28 Michael S. Weiss

This paper gives an explicit description of the categorical operad whose algebras are precisely symmetric monoidal categories. This allows us to place the operad in a sequence of four, and therefore a sequence of four successively stricter…

Category Theory · Mathematics 2023-05-26 A. D. Elmendorf

In the first part of this note we further the study of the interactions between Reedy and monoidal structures on a small category, building upon the work of Barwick. We define a Reedy monoidal category as a Reedy category $\mathcal{R}$…

Category Theory · Mathematics 2024-03-29 Violeta Borges Marques , Arne Mertens

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

The Golodness of a simplicial complex is defined algebraically in terms of the Stanley-Reisner ring, and it has been a long-standing problem to find its combinatorial characterization. The tightness of a simplicial complex is a…

Algebraic Topology · Mathematics 2023-09-06 Kouyemon Iriye , Daisuke Kishimoto

We introduce twisted arrow categories of operads and of algebras over operads. Up to equivalence of categories, the simplex category $\Delta$, Segal's category $\Gamma$, Connes cyclic category $\Lambda$, Moerdijk-Weiss dendroidal category…

Algebraic Topology · Mathematics 2022-05-03 Sergei Burkin

We give a Quillen equivalence between model structures for simplicial operads, described via the theory of operads, and Segal operads, thought of as certain reduced dendroidal spaces. We then extend this result to give an Quillen…

Algebraic Topology · Mathematics 2014-12-31 Julia E. Bergner , Philip Hackney

We extend Forester's rigidity theorem so as to give a complete characterization of rigid group actions on trees (an action is rigid if it is the only reduced action in its deformation space, in particular it is invariant under automorphisms…

Group Theory · Mathematics 2008-01-31 Gilbert Levitt

We describe a Grothendieck construction for non-symmetric operads with values in categories, and hence in groupoids and posets. The construction produces a 2-category which is operadically fibered over the category D of finite non-empty…

Category Theory · Mathematics 2026-01-28 Dominik Trnka

In these notes, we define a new simplicial structure on a connected multiplicative operad and call it connected multiplicative simplicial operad (for short; simplicial operad). Next we introduce on this simplicial operad a brace algebra…

Algebraic Topology · Mathematics 2023-10-09 Vane Jacky III Batkam Mbatchou , Calvin Tcheka

The goal of the present paper is to compare, in a precise way, two notions of operads up to homotopy which appear in the literature. Namely, we construct a functor from the category of strict unital homotopy colored operads to the category…

Algebraic Topology · Mathematics 2015-06-16 Brice Le Grignou

Operads were originally defined as V-operads, that is, enriched in a symmetric or braided monoidal category V. The symmetry or braiding in V is required in order to describe the associativity axiom the operads must obey, as well as the…

Category Theory · Mathematics 2007-05-23 S. Forcey , J. Siehler , E. Seth Sowers

A discrete (finite-difference) analogue of differential forms is considered, defined on simplicial complexes, including triangulations of continuous manifolds. Various operations are explicitly defined on these forms, including exterior…

Geometric Topology · Mathematics 2009-11-13 V. Dolotin , A. Morozov , Sh. Shakirov

We introduce an operad of formal fractions, abstracted from the Mould operads and containing both the Dendriform and the Tridendriform operads. We consider the smallest set-operad contained in this operad and containing four specific…

Combinatorics · Mathematics 2013-07-02 Frédéric Chapoton , Florent Hivert , Jean-Christophe Novelli

We define a generalization of (coloured) operads based on double lax functors and we construct a model structure on the associated category of generalized simplicial (coloured) operads. In particular, we obtain a model structure on the…

Algebraic Topology · Mathematics 2026-04-03 Gregoire Marc

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