Questions tagged [operads]
Operads are structures encoding the properties of algebras (in a very general sense), for example associativity, commutativity, unitality, and the relations between them. Their main uses lie in (abstract-algebra), (category-theory) or (algebraic-topology).
109
questions
1
vote
0
answers
29
views
On infinity-morphisms between homotopy algebras over operads
Let $P$ be a Koszul operad.
In the book of Loday-Vallette "Algebraic Operads", an $\infty$-morphism between algebras $A$, $B$ over a $P_\infty$-operad is defined as a dg-morphism $P^\textrm{¡...
- 352
0
votes
0
answers
81
views
Decomposable differential of operads
To my understanding, a degree $p$ derivation (for $p\in \mathbb{N}_{>0}$) on a graded reduced (meaning $P(0)=0$) operad $P$ of vector spaces is given by a sequence of equivariant degree $p$ $k$-...
- 1,585
4
votes
1
answer
66
views
Construction of the free operad
I am reading Fresse's "Koszul duality of operads and homology of partition posets", and trying to understand the construction of the free operad $F(M)$ on a symmetric sequence $M$ as ...
- 1,585
1
vote
0
answers
46
views
(Why) is the category of $k$-linear operads not abelian?
For $k$ a field, a $k$-linear operad is defined to be a symmetric operad in the category of $\mathbb{Z}$-graded $k$-vector spaces (that is, a symmetric sequence of $k$-vector spaces such that certain ...
- 1,585
2
votes
0
answers
44
views
On categorical operads
A symmetric $1$-coloured operad can be defined in any symmetric monoidal category. In particular, it can be defined for the cartesian monoidal category $\mathsf{Cat}$ of small categories and functors.
...
- 1,585
3
votes
1
answer
63
views
Derivations of the free operad generated by a polynomial functor
The following section in Kontsevich' and Soibelman's paper I don't understand:
Let $F$ be a polynomial functor [this is the author's terminology for analytic functor as explained here], $P= Free_{\...
- 1,585
1
vote
0
answers
24
views
Colored operads encode 1-colored operads
In their paper BOUSFIELD LOCALIZATION AND ALGEBRAS OVER COLORED OPERADS David White and Donald Yau, write:
Colored operads encode even more general algebraic structures, inluding the category of ...
- 1,585
3
votes
1
answer
76
views
Symmetric coloured operads as monoids?
A symmetric operad in a symmetric monoidal category $\mathcal{C}$ can be defined as a monoid in the category of presheaves $[\mathbb{P}^{op},\mathcal{C}]$ with the substitution product $\circ$. Here $\...
- 1,585
3
votes
0
answers
87
views
Operads and Kontsevich' polynomial functors
I am reading Kontsevich' and Soibelman's paper here. The first chapter is about operads and seems non-standard.
I know the following:
Let $\mathcal{C}$ be a symmetric monoidal category which is ...
- 1,585
1
vote
0
answers
20
views
Non unital Hopf relation
The following problem is an exercise in Loday-Vallette's Algebraic Operads. I hope I am understanding this correctly. Any suggestions or hints would be appreciated.
Show that the restriction of the
...
- 171
4
votes
1
answer
88
views
Subcategory of functor category is complete
Let $D$ be a complete and cocomplete symmetric monoidal closed category (a Bénabou cosmos). Let $P$ be the permutation category. Consider the substitution product $\circ$ on the functor category $[P^{...
- 1,585
2
votes
0
answers
35
views
On the relationship of Hopf-algebras and (co)Operads
In the paper Axiomatic Homotopy Theory for Operads Berger and Moerdijk construct a cooperad out of a commutative bimonoid (I have no idea, why they call the latter a Hopf-object, since in the whole ...
- 10.7k
1
vote
0
answers
16
views
Model Structure on Constant-free Symmetric Operads
I am currently trying to find a reference for the assertion that the category of positive / constant-free (meaning $\cal{O}(0)=\emptyset$ is the initial object) symmetric operads $\operatorname{Opd}_\...
- 10.7k
4
votes
0
answers
42
views
Operad structure on the finite covers of a space
Let $(\Sigma_\bullet)$ be the collection of the symmetric groups. These have a structure of an operad in $\mathsf{Set}$ (it is in fact the operad $Ass$ encoding monoids). The collection of the ...
- 463
2
votes
0
answers
47
views
Adjunction between the category of operads under $P$ and $(P,P)$-bimodules
Let $C$ be a symmetric monoidal category and $\mathcal{P}$ an operad in $C$. A morphism of operads $\mathcal{P} \to \mathcal{Q}$ gives rises to a $(\mathcal{P},\mathcal{P})$-bimodule structure on $\...
- 463
3
votes
1
answer
255
views
Explicit quadratic cooperad
I'm following Loday-Vallette's book Algebraic Operads, and I'm having some trouble understanding the quadratic cooperad associated to a quadratic data $(E, R)$.
They define the quadratic cooperad $\...
- 352
2
votes
0
answers
71
views
Reference for Stasheff's Associahedra Operad
I am currently reading up on operads and am more than confused about the Stasheff operad. It is completely unplausible that I am the first student, who feels this way, so I hope to find a reference ...
- 10.7k
0
votes
0
answers
27
views
Does the monad on V associated to an V-operad preserve reflexive coequalizers for a closed monoidal category V?
This might be a very basic question, but a non-symmetric operad $P$ in the symmetric closed monoidal category $V$ induces a monad $T_P$ on $V$ which has the same category of algebras as $P$ and which ...
- 413
3
votes
0
answers
39
views
Reference request: Tensoring with Barratt-Eccles is $\Sigma_* $-cofibrant replacement
In some different places (e.g. in Berger & Fresse, Combinatorial operad actions on cochains), it is stated as a classical result that the Barratt-Eccles operad $\mathcal{E}$ (in chain complexes) ...
- 41
4
votes
0
answers
90
views
Anticommutative operad
Let $(C, \otimes, 1)$ be a additive symmetric monoidal category with internal hom (well, lets think about $\mathrm{Mod}_R$ with $R$ a commutative ring), I am trying to figure out what would be the ...
- 883
1
vote
1
answer
71
views
Koszul Duality and Andre-Quillen homology relationship
This may be a very open ended question but what is the relationship between koszul duality and Andre-Quillen homology? For example if I consider the André-Quillen homology $AQ_k(B)$ of an associative ...
- 147
1
vote
1
answer
84
views
Map between endomorphism operads
Let $A$ and $B$ be alegebras of any kind (the example that I have in mind is the underlying module of a graded operad) and consider its endomorphism operads $\mathrm{End}_A$ and $\mathrm{End}_B$, ...
- 6,215
1
vote
0
answers
60
views
Underlying $\infty$-category of monoidal envelope
I'm learning Jacob Lurie's book Higher Algebra (HA for brief). HA 2.2.4. is about the monoidal envelope for fibration of $\infty$-operads.
In HA 2.2.4.3. Lurie claimed that $\mathrm{Env}(\mathcal{C})$ ...
- 376
2
votes
1
answer
61
views
The category of graded $\mathbb S$-modules form a monoidal category
I am reading paragraph 6.2 in Algebraic Operads by Jean-Louis Loday and Bruno Vallette. Proposition 6.2.2 states:
The category of graded $\mathbb S$-modules, with
the (composite) product $\circ$ and ...
- 1,303
0
votes
1
answer
45
views
An explicit formula for group action on an operad
I read Algebraic Operads by Loday and Vallette, namely paragraph 5.3.7 Partial definition of an operad. It's not clear to me how does $\sigma''$ act (the phrase "acting identically on ... with ...
- 1,303
1
vote
1
answer
84
views
Cohomology of algebra over an operad as naive Ext-functor instead of with Kähler module of differentials
Let $\mathcal{P}$ be an operad and $A$ a $\mathcal{P}$-algebra. In Algebraic Operads(AO) by Loday-Vallette there are some cohomology theories defined for $A$:
Operadic cohomology = cohomology of $C_{...
- 413
1
vote
1
answer
68
views
Symmetric lax monoidal functor takes operads to operads
I am looking for a reference to the following theorem.
If $F:\mathcal{C}\to\mathcal{D}$ is a symmetric lax monoidal functor between symmetric monoidal categories, then it induces a well-defined ...
- 6,215
2
votes
1
answer
92
views
Is There a Notion of Diagram in Multicategories and/or Operads?
In ordinary category theory there is a notion of a diagram in a category $\mathsf{C}$ which is usually described as a functor $F: \mathsf{J \to C}$ where $\mathsf{J}$ is some small category. Based on ...
- 12.8k
2
votes
0
answers
32
views
Koszul dual of a quadratic operad
In Proposition 7.2.4 of Loday and Vallette's Algebraic Operads, they prove that the Koszul dual operad of a quadratic operad $\mathcal{P}(E,R)$, with generators E finite dimensional in each arity and ...
- 1,362
1
vote
0
answers
91
views
Why does the differential of a minimal model (of an algebra, operad) need be decomposable?
In operad theory, a minimal model of a dg-operad $\mathcal{P}$ (or dga A) is given by a quasi-free resolution $(\mathcal{T}(E),\partial) \overset{f}{\longrightarrow} P$ where $f$ is a quasi-...
- 413
4
votes
1
answer
203
views
Is there some practical intuition when working with a cooperad given by cogenerators and corelations?
In the case of algebras and operads, a description by generators and relations is common practice and I have a good understanding of this. A non-symmetric operad $\mathcal{P}$ given by a linear space ...
- 413
3
votes
0
answers
115
views
Partial composition of Swiss-Cheese Operad
I recently came across an operad called the swiss-cheese operad. I am trying to understand its definition through partial composition. I am having trouble checking the axioms (This makes me think that ...
- 324
1
vote
0
answers
71
views
When does the left adjoint of the base change functor between categories of algebras over operads preserve quasi-isomorphisms?
I have been thinking about the following question: given a morphism of coloured dg-operads $$\phi: P \longrightarrow Q$$
we derive a lax morphism between their respective monads $T= T_P \...
- 413
3
votes
1
answer
70
views
Differential of the Twisted complex for algebraic operads
I have a question about the proof of lemma 6.4.12 in the book Algebraic Operads (Loday-Vallette) which I do not seem to be able to fully complete on my own. Hopefully, somebody here can point out what ...
- 413
2
votes
0
answers
103
views
What is the meaning of this product notation?
Let $X,Y$ be topological spaces, both of which admit an action by a group $G$. What is the definition of the space denoted by $ X \times_G Y $?
In particular, let $C_n(k)$ denote the space of ordered $...
- 23
3
votes
1
answer
143
views
Koszul dual cooperad of the associative operad
I am trying to compute the $k$-modules of $\mathcal{As}^¡$, the Koszul dual cooperad of the associative operad $\mathcal{As}$. I am using sections 7.1.4 and 7.2.1 of Algebraic Operads to try to do ...
- 6,215
1
vote
1
answer
89
views
Wedge product of permutations in definition of pairing?
In May's definition of a pairing of operads, he states that a pairing of operads $\tau: (A,O)\rightarrow C$ consists of a collection of maps $\tau: A(i)\times O(j)\rightarrow C(ij)$ that satisfies the ...
- 121
3
votes
1
answer
221
views
Free algebra over an operad is an algebra over that operad
Let us focus on operads of vector spaces and let $V$ be a vector space and $P$ an operad. The free $P$-algebra on $V$ is defined by $P(V)=\bigoplus_{r=0}^\infty (P(r)\otimes V^{\otimes r})_{\Sigma_r}$,...
- 6,215
1
vote
0
answers
55
views
Generalized multicategories to a $\Sigma$-free operad
According to Elmendorf in his paper "Left Adjoints for Generalized Multicategories", generalized multicategories associated
to a $\Sigma$-free operad $\mathcal{D}$, which we call $\mathbb{D}$...
- 221
0
votes
0
answers
34
views
How does a map of two categorical operads induce a map of categories of generalized multicategories?
I'm working on a project and I have two categorical operads with a free $\Sigma_n$ action and there exists a map of operads between them. I know via a paper by Elmendorf and others titled "Left ...
- 221
1
vote
0
answers
67
views
What is the name of this operad and proof verification.
Let $P_k$ denote the $k$-th permutoassociahedron and define an operad $\Xi$ by $\Xi(k)=V(P_k)$ where the composotion is given by replacement of variables and renaming. An exanmple of replacement of ...
- 221
0
votes
1
answer
61
views
Universal dg-algebra of an $A_\infty$-algebra
In this document by Keller, proposition 2.1, it is stated that for every $A_\infty$-algebra $A$ there is a universal dg-algebra $U(A)$ w.r.t. the existence of an $A_\infty$-morphism $A\to U(A)$, and ...
- 2,184
1
vote
1
answer
70
views
Questions wrt. definition of $L_\infty$- and dg-Lie-algebras
I am trying to understand this definition from nLab (Def. 3.2) of $L_\infty$-algebras, and the following example that is supposed to boil down to dg-Lie algebras.
What is the difference between ...
- 2,184
6
votes
1
answer
293
views
Higher (chain) homotopies
I am aware of this question, which unfortunately doesn't help me enough.
Recall that a (chain) homotopy between maps $f, g\colon X_\bullet\to Y_\bullet$ of chain complexes is a collection of maps $h_\...
- 2,184
2
votes
1
answer
46
views
A chain complex corresponding to the associahedron
A definition often found is that an $A_\infty$-algebra is an algebra over an $A_\infty$-operad. here, a
non-symmetric operad $O$ is $A_\infty$ if all $O(n)$ are contractible
symmetric operad $O$ is $...
- 2,184
0
votes
0
answers
56
views
Equivariance in definition of symmetric operads
I know that there are some questions regarding symmetric operads, but I feel like asking yet another question.
Consider the operad $A$ with $A(n)=k[S_n]$. Let us denote the simple transpositions in $...
- 2,184
0
votes
0
answers
110
views
Free algebra over an operad
So i read somewhere that
"The free dendriform algebra can also be considered as the free algebra over the Dendriform operad."
Now i am familiar with free algebras and free operads, but i am not sure ...
- 353
1
vote
1
answer
152
views
How to prove that $\operatorname{Ass}$ is an operad
The definition of an operad requires that that the associativity condition holds:
$$f \circ (g_1(x_1^1, \dotsc, x_{n_1}^1), \dotsc, g_r(x_1^r, \dotsc, x_{n_r}^r)) = (f \circ (g_1, \dotsc, g_r))
(x_1,\...
- 353
2
votes
1
answer
75
views
Is the pre-Lie operad a nonsymetric operad
Can a pre-Lie algebra be modeled as a nonsymmetric operad?
Looking at the relation $(x \circ y) \circ z - x\circ (y \circ z) = (x \circ z) \circ y - x \circ (z \circ y ) $
it doesn't look like it ...
- 353
0
votes
1
answer
29
views
The associative operad with more elements still associative?
So the associative operad is defined as $P(n) = a_n$ for each $n$. What happens if we set $P(3) = a_3$ but add more elements to the other $P(n)$ for example if $P(5) = \{x,y,z\} $. Will an algebra ...
- 353