The operads tag has no usage guidance.

**6**

votes

**2**answers

593 views

### understanding the definition of $\infty$-operad of module objects

I'm just trying to understand the following definition:
Definition 3.3.3.8 in Higher Algebra by J. Lurie defines the $\infty$-operad of $O$-module objects, and says the following:
Let $O^\otimes$ be ...

**2**

votes

**1**answer

147 views

### Free operads and trees

I am currently working in my PhD thesis, and it became necessary to understand some facts about free symmetric operads. Hence I started to study this subject by myself, following Kapranov & ...

**3**

votes

**0**answers

144 views

### Complete Segal operads and dendroidal sets

There is a Quillen equivalence between the model category presenting Lurie's $\infty$-operads (which are inner fibrations $\mathcal{C}\to\mathrm{N}(\mathbf{F})$ satisfying certain conditions) and the ...

**1**

vote

**0**answers

110 views

### Structures on the free path space object

Let $X$ be a connected topological space. Then its based loops space $\Omega X$ is an examples of $A_{\infty}$ space. Let $PX$ be the free paths space. Which type of homotopical structures are ...

**7**

votes

**1**answer

186 views

### Monomorphisms in operad algebras

Setup: Let $\mathcal{O}$ be an operad in the category of sets, and let $\mathcal{O}\text{-Alg}$ denote the category of algebras on it (i.e., operad functors $\mathcal{O}\to\mathbf{Set}$. This category ...

**8**

votes

**0**answers

201 views

### When does an $E_\infty$ algebra come from a commutative differential graded algebra?

Suppose that $K$ is an $E_\infty$-algebra on a space $X$ (more generally, any ringed topos; also, feel free to assume that $X$ is a point). That is, $K$ is a cochain complex of sheaves on $X$, endowed ...

**15**

votes

**1**answer

961 views

### On Tamarkin's proof of Etingof-Kazhdan quantization of Lie bialgebra

This question is motivated by the desire to understand better the interplay between Drinfeld associators, algebraic structures up to homotopy and related results.
Recall that a Lie bialgebra is a Lie ...

**6**

votes

**0**answers

349 views

### Does abstract nonsense of model categories determine the “nonlinear” morphisms of $L_\infty$ algebras?

Recall that a Lie algebra is a module for the operad $\mathrm{Lie}$, which is freely generated by a binary antisymmetric operation $\beta$ modulo an equation that is quadratic in $\beta$. There is a ...

**5**

votes

**1**answer

254 views

### Does this notion related to species/operads/FI-modules have a name?

Let $B$ be the symmetric monoidal category of finite sets and bijections with disjoint union. Let $C$ be a symmetric monoidal category. Is there a standard name for a lax monoidal functor $F:B \to C$? ...

**3**

votes

**2**answers

425 views

### Definition of E-infinity operad

What is the definition of $E_\infty$-operad in the category of chain complexes over $\mathbb{Z}/p\mathbb{Z}$? J. Smith in http://arxiv.org/abs/math/0004003 define it for complexes over $\mathbb{Z}$ ...

**8**

votes

**1**answer

195 views

### Operads and the Stable Module Category

I am seeking references to places where operads and their algebras have been studied for the stable module category. Colored operads are fine too.
Let $k$ be a field and $R$ a $k$-algebra. The stable ...

**4**

votes

**0**answers

72 views

### Invert quasi-isomorphisms of symmetric cooperads

The theory of symmetric operads in chain complexes (say over a good enough field) is in some sense nice, because we have a well defined homotopy theory.
In particular we have a notion of ...

**3**

votes

**0**answers

127 views

### Finiteness for 2-dimensional contractible complexes

While thinking about graph-complex and related operadic stuff, I found a quite interesting (at least for me) question. However, I'm a novice in the algebraic topology, so I'm unable to resolve it by ...

**1**

vote

**1**answer

180 views

### $E_{\infty}$ algebra in characteristic zero

I asked this question on MSE(http://math.stackexchange.com/q/1579026/239218).
Let $A^{\bullet}$ be a cosimplicial commutative algebra over a field $\Bbbk$. Denote with $N(A)^{\bullet}$ the ...

**16**

votes

**3**answers

1k views

### Good reference for studying operads?

Can you, please, recommend a good text about algebraic operads?
I know the main one, namely, Loday-Vallette "Algebraic operads". But it is very big and there is no way you can read it fast. Also ...

**0**

votes

**0**answers

458 views

### maps from labelled configuration space to section space / iterated loop space

In the paper Mapping class group and function spaces: a survey, F. Cohen, M.A. Maldonado, 2014, page 3, Section 3:
for a $m$-manifold $M$, consider the disc bundle $D(M)$ in the tangent bundle ...

**18**

votes

**1**answer

288 views

### Positivity of coefficients of the inverse of a certain power series

Consider the unique formal power series $g(z)$ with $g(0)=0$ and $g'(0)=1$ satisfying the equation
$$
g(z)-g(z)^8+g(z)^{15}=z,
$$
that is the inverse of
$$
z-z^8+z^{15}
$$
in the group of formal ...

**6**

votes

**0**answers

139 views

### When are the categories of algebras over props (co)complete?

Suppose P is a (colored) prop in a closed symmetric monoidal locally presentable category C. Is the category Alg_P of algebras over P in C locally presentable?
It seems that one can relatively easy ...

**13**

votes

**3**answers

484 views

### Is the Amitsur-Levitzki identity essentially unique?

Let us consider the matrix algebra. $Mat_n(\mathbb{C})$. The Amitsur-Levitzki identity states that for any matrices $X_1, X_2, ..., X_{2n} \in Mat_n(\mathbb{C})$ the sum $\Sigma_{\sigma \in S_{2n}} ...

**2**

votes

**0**answers

59 views

### Composition law in the colored operad whose algebras are (symmetric) operads

In Berger-Moerdijk, Resolution of coloured operads and rectification of homotopy algebras (1.5.6) there is a description of the operad, whose algebras are non-colored symmetric operads.
I have some ...

**2**

votes

**1**answer

219 views

### Embedding e_n -> e_m

Let $e_n$ be the operad of (say, rational) chains of the operad of little n-disks. Consider the natural embedding $e_n\to e_m$, where $n<m$ and $n,m>1$ induced by the embedding $\mathbb{R}^n\to ...

**1**

vote

**1**answer

176 views

### Is there an operad that codifies groupoids?

maybe this question is trivial and, then this is the reason I've never seen this written.
The motivation is to define internal $\infty$-groupoids (that are preferably) Kan fibrant and to see if Kan ...

**9**

votes

**1**answer

251 views

### Are $E_n$-operads not formal in characteristic not equal to zero?

This is a short question:
Is it just unproven folklore (yet), or is it definitively known that $E_n$-operads are not formal, if the characteristic of the underlying field is not equal to zero?

**13**

votes

**1**answer

396 views

### Homotopy transfer in the opposite direction

Let $X\rightleftarrows Y\circlearrowleft$ be a strong deformation retraction of chain complexes (a.k.a. contraction), i.e. $X\rightarrow Y\rightarrow X$ is the identity, $Y\rightarrow Y$ is a homotopy ...

**4**

votes

**1**answer

109 views

### bijection between S-modules and Schur functors

Given a $\mathbb{S}$-module, we can construct a Schur functor, which is an endo functor in the category of vectorspaces. But given a Schur functor, how can we get back the $\mathbb{S}$-module? In ...

**4**

votes

**1**answer

203 views

### An example for a construction on monads/operads?

Suppose that $C$ is a bicategory. (I only need a monoidal category, i.e. one object bicategory, but I will stick with bicategories, since theory of monads is more commonly stated in that setting). A ...

**12**

votes

**1**answer

454 views

### Condition on a Hopf operad for tensor product in the base category to be a (categorical) coproduct for algebras

A Hopf operad will be an operad endowed with a coproduct $P(n) \longrightarrow P(n) \otimes P(n)$ which is compatible in the obvious sens with operad laws (no more structure is assumed a priori. ...

**9**

votes

**1**answer

262 views

### Tensor products over operads and bar constructions

Let $O$ be an operad in spaces, $A$ an $O$-algebra and $R$ an right $O$-module. One can define $R \otimes_O A$ as the coequalizer of the two maps $ROA$ to $RA$. One can also define $B(R,O,A)$ (as in ...

**7**

votes

**2**answers

489 views

### What are algebras for the little n-balls/n-cubes/n-something operads exactly?

As a non expert in the theory of topological operads, I find it pretty hard, to understand what algebras for little balls/cubes/something operads are.
For all the other famous operads I know (like ...

**0**

votes

**1**answer

121 views

### iterated loop spaces and configuration spaces [closed]

In the lecture notes by J.P. May, The geometry of iterated loop spaces, Chapter 5, formula (1), (2) and (10), a map
$$
\phi: Hom_T(X,\Omega Y)\to Hom_T(SX,Y)
$$
is defined. And a map
$$
...

**5**

votes

**1**answer

368 views

### Repertory of the different sorts of operads

Many different types of operads have emerged in recent years (symmetric, shuffle, cyclic, anticyclic, coloured, etc.).
I would like, for any of these, list the following data:
Description of the ...

**7**

votes

**2**answers

347 views

### Correspondence between operads and monads requires tensor distribute over coproduct?

In checking the details of the correspondence between operads over a symmetric monoidal category and monads on some associated endofunctor of the category, I cannot make the obvious proof work without ...

**1**

vote

**0**answers

254 views

### Does the Boardman-Vogt tensor product of operads commute with their W-construction

I have absolutely no idea whether this is true or not but it could well be useful for me in the future if it is. If we have topological operads $\mathcal{P}$ and $\mathcal{Q}$ and we let $W$ denote ...

**5**

votes

**1**answer

201 views

### Errata for Getzler-Kapranov “Cyclic operads and Cyclic homology”

Do you know if anyone made an errata for the Getzler-Kapranov paper "Cyclic operads and Cyclic homology"? I was trying to read it, and I have found (at least I think I did) quite a few typos not all ...

**23**

votes

**2**answers

2k views

### Why should have Peter May worked with CGWH instead of CGH in “The Geometry of Iterated Loop Space”?

This is a follow-up to Dan Ramras' answer of this question.
The following correction can be found in the errata to The Geometry of Iterated Loop space (Page 484 here).
The weak Hausdorff rather ...

**8**

votes

**1**answer

297 views

### When is a quasicategory over $N(\Delta)^{op}$ a planar $\infty$-operad?

In Lurie's DAG II, a notion of monoidal $\infty$-category is given that differs from the notion given in his later book Higher Algebra. In the former, the relevant structure is a cocartesian ...

**5**

votes

**1**answer

243 views

### Reference Request: Grouplike Algebras over the little $n$-cubes operad are $n$-fold loop spaces

In Geometry of the iterated loop space, Peter May proved his famous recognition theorem, which is, in a simple form, stated on page 3 as the following.
There exist $\Sigma$-free operads ...

**7**

votes

**1**answer

358 views

### Explict form of $E_\infty$-morphisms between differential graded commutative algebras

This is a partial duplicate to this MO question, I apologize for that. I'm asking since the answers there still do not allow me to work out an answer to my question, which is a bit more specific.
...

**5**

votes

**0**answers

73 views

### Cyclic structure on a balanced (or ribbon) monoidal category

As it is well known, a balanced (and in particular ribbon) monoidal category is an algebra over the framed little 2-discs operad. The latter is homotopy equivalent to the operad of moduli space of ...

**10**

votes

**1**answer

361 views

### Tensor product of dendroidal sets: counter-examples

For any smal category $A$, I shall write $\widehat A$ for the category $[A^{\text op}, \mathbf{Set}]$ of presheaves on $A$, and $y_A\colon A \to \widehat A$ for the Yoneda embedding relative to $A$.
...

**14**

votes

**1**answer

487 views

### Free Loop-Space Recognition Principle

It is well-known that one can detect based loopspaces using the machinery of operads. Namely, given a group-like space $X$ with an action of $\mathbb{E}_n$-operad, then it is homotopy equivalent as an ...

**5**

votes

**1**answer

523 views

### Boardman-Vogt tensor product

Let $\mathbf{sSet}$ be the model category of simplicial sets and $\mathbf{Op}$ the model category of symmetric operads. Equipped with Boardman-Vogt tensor product $ \otimes_{BV}$, the category ...

**7**

votes

**0**answers

255 views

### A model category for E-infty algebras in a non-monoidal model category?

Given a suitable nice symmetric monoidal category $C$, symmetric monoidally enriched, tensored, and cotensored over a symmetric monoidal category $S$, and an operad $\mathcal{O}$ in $S$, we can ...

**4**

votes

**2**answers

316 views

### Has this construction, which builds a symmetric multicategory from a commutative monoid, been described or studied anywhere, and if so, where?

Whenever $R$ is a commutative ring, write $R[x^{(n)}]$ for the set of all $p \in R[x]$ such that $p$ is a monic polynomial of degree $n$. Then $R[x^{(n)}]$ is not closed under sums, nor does it ...

**3**

votes

**0**answers

248 views

### Straightening for $\infty$-operads

There is this straightening/unstraightening procedure of Jacob Lurie's which takes a symmetric monoidal $\infty$-category (which is the data of a coCartesian morphism of simplicial sets $C^\otimes\to ...

**9**

votes

**0**answers

223 views

### Does the $(\mathbb Z/2)$-graded isomorphism $E_n \cong E_{n+2}$ have any nice properties?

This question assumes everything is dg. Let's decide to work over the "field" $\mathbb Q[\mu,\mu^{-1}]$ where $\mu$ has homological degree $+2$. Then chain complexes are just $\mathbb Z/2$-graded. ...

**6**

votes

**2**answers

413 views

### Obstructions for $E_n$-algebras

In Alan Robinson's paper, Classical Obstructions and S-algebras, he provides conditions for a ring spectrum to have an $A_n$ and $\mathbb{E}_\infty$-structure.
Have the obstructions for an object ...

**4**

votes

**2**answers

451 views

### $E_n$-space and n-connected pointed space

Is it true that the homotopy category of group-like $E_n$-spaces is equivalent to the homotopy category of pointed $n$-connected spaces ? If it is true, what should be the statement when ...

**9**

votes

**2**answers

575 views

### Model structure for cooperads and for coalgebras

I am studying the homotopy theory of (algebraic) operads and I came up with several questions I am unable to answer to. I would like to stress that I don't have applications in mind, I just would like ...

**9**

votes

**1**answer

382 views

### $k$-Disk algebras versus $E_k$ algebras

Background:
The little $k$-cubes operad is the $(\infty,1)$-operad defined by embedding disjoint unions of $k$-dimensional open cubes rectilinearly into one another, that is using maps ...