The operads tag has no wiki summary.

**20**

votes

**1**answer

900 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

251 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

168 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 ...

**5**

votes

**0**answers

56 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 ...

**6**

votes

**1**answer

259 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.
...

**2**

votes

**0**answers

76 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 ...

**5**

votes

**1**answer

365 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 ...

**14**

votes

**1**answer

414 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 ...

**9**

votes

**1**answer

270 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$.
...

**7**

votes

**0**answers

223 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

295 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

198 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

199 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

308 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

395 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 ...

**12**

votes

**3**answers

393 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}} ...

**3**

votes

**1**answer

364 views

### $E_{\infty}$ spaces are $A_{\infty}$ spaces

While studying the well-known "Geometry of Iterated Loop Spaces", I found this corollary which is not completely clear to me. (By $\mathcal{M}$ is meant the operad given by $\mathcal{M}(j):=\Sigma_j$, ...

**1**

vote

**0**answers

97 views

### Finitely co/continuous monad induced by an operad

It is well known that any operad on a nice monoidal category induces a monad.
I was wondering which conditions can be imposed on the operad $T$ (say, in a monoidal closed $\cal V$) so that the ...

**9**

votes

**1**answer

324 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 ...

**4**

votes

**1**answer

401 views

### Is there an analog of the Barratt-Eccles construction for group-like E_∞-spaces and E_∞-ring spaces?

The Barratt-Eccles operad is an operad in simplicial sets
that provides a particularly nice model of an E∞-operad;
algebras in spaces over the Barratt-Eccles operad model E∞-spaces,
i.e., homotopy ...

**1**

vote

**0**answers

142 views

### Reference request: modern proof of the recognition principle [closed]

I'm looking for a modern version of P. May's proof of the recognition principle (in "geometry of iterated loop spaces"). Can someone help me?

**10**

votes

**1**answer

289 views

### What is this operad-like structure called?

I'd like to know what's the name (if any) of the following categorical structure, and also references where it has been considered.
Given a category $C$, let $O=\{O(n)\}_{n\geq 0}$ be a sequence of ...

**2**

votes

**0**answers

143 views

### What is a morphism of $B_\infty$ algebra

Let $k$ be a commutative ring and $C$ a $ \mathbb{Z}$ graded $k$ module. A $B_\infty$ structure on $C$ is the datum of a differential and a multiplication on $ BC:= \bigoplus^\infty_{i =0} ...

**11**

votes

**1**answer

394 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. ...

**5**

votes

**1**answer

464 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 ...

**4**

votes

**1**answer

287 views

### What's a good reference for the following obstruction theory yoga?

Fix a colored operad, which I will leave implicit, and a field $\mathbb K$ of characteristic $0$. By algebra in this post I will mean a dg algebra over $\mathbb K$ for the given colored operad. I ...

**1**

vote

**1**answer

219 views

### comparison between two monadic definitions for an operad

According to May, an operad $\mathcal{C}$ valued in sets is equivalent to a monad in Cat on the endofunctor $C\colon X\mapsto \coprod_i \mathcal{C}(i)\times X^i.$
According to Leinster, an operad is ...

**4**

votes

**0**answers

184 views

### Where is the Courant operad discussed?

Where is the Courant operad discussed? And hopefully defined precisely.
By the Courant operad or rather a suitable generalization of operad to accommodate the inner product, the operad whose ...

**7**

votes

**1**answer

235 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 ...

**8**

votes

**2**answers

457 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 ...

**1**

vote

**1**answer

220 views

### A question on the definition of operad

The nlab page says
A (Set-based) operad is a monoid in the monoidal category
$(Psh(ℙ),∘,I)$, where $ℙ$ is the category of $\sqcup_{n\ge 0} S_n$.
The monoidal structure is given by the so ...

**8**

votes

**0**answers

296 views

### Galois action on $E_n$-operads

Let $E_n$ be the little $n$-cubes operad which acts on $n$-fold loop spaces (up to group completion, an $E_n$-action is precisely the data needed to perform an $n$-fold delooping). I am looking for ...

**2**

votes

**1**answer

148 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 ...

**8**

votes

**0**answers

255 views

### The spheres operad

I have a rather naive question. Consider the space of all maps
$$ S^{j_1} \times S^{j_2} \times \cdots \times S^{j_k} \to S^n $$
for all possible natural numbers $n, k, j_1, \cdots , j_k$.
This ...

**2**

votes

**2**answers

301 views

### Reference for Stasheff Operad

I want a reference for Stasheff operad, where operad maps are defined explicitly at the point-set level. I would also like to ask the question that what exactly do one mean by Stasheff operad? Is ...

**6**

votes

**4**answers

375 views

### How universal is operadic approach to studying algebras?

I have just started to read about operads, so this question might be silly.
So it seems to me that any "reasonable" class of algebras can actually be defined as a class of all algebras over a certain ...

**4**

votes

**1**answer

247 views

### A_n operad as configuration spaces

$A_\infty$ operad can be described both in terms of Stasheff polytopes and configuration spaces.$A_n$ operad can be described as subspace of Stasheff operad described using Stasheff polytope. Is there ...

**3**

votes

**1**answer

183 views

### Is the definition of Gerstenhaber bracket related to operads?

I was reading these notes by Keller. On the page 19 he defines the Gerstenhaber bracket on the Hochschild cochain complex. But first of all he defines the operation $\bullet$ on the cochains by
$$
...

**6**

votes

**2**answers

525 views

### Aspherical operads

Let $O$ be an operad in $\mathtt{SETS}$. Assume that $O(0)$ is empty and $O(1)$ only consists of the identity. Assume for simplicity that $O$ is monochromatic, i.e. we have no labels on the ...

**14**

votes

**3**answers

893 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 ...

**1**

vote

**0**answers

101 views

### Exact sequence of L-infinity-algebras

We call a sequence of $L_\infty$-algebras (weak) maps
$$0\to L\xrightarrow{f} M\xrightarrow{g} N\to 0$$
is exact if it is exact on the the underlying chain complexes level.
Thought I don't know ...

**4**

votes

**0**answers

252 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 ...

**6**

votes

**1**answer

269 views

### Identifying the little disk operad with parenthesized braids

Let $D_2$ be the topological operad of little disks. This operad can be modelled "combinatorially" in terms of an operad of groupoids called $\newcommand{\PaB}{\mathbf{PaB}}\PaB$, the operad of ...

**10**

votes

**2**answers

450 views

### Correspondence between operads and $\infty$-operads with one object

Given a simplicial operad one can form its category of operators. This is a simplicial category with a functor to the category of finite pointed sets which is a bijection on objects and whose ...

**12**

votes

**2**answers

386 views

### Introducing division strategically in operads to accommodate formulas like the Baker-Campbell-Hausdorff formula

I am not as familiar with operad terminology as I'd like to be, so I might be missing some well-known term in the area. If so, I'd appreciate any pointers to the correct terms.
Consider the following ...

**7**

votes

**1**answer

520 views

### Seeking errata for Berger-Moerdijk Axiomatic Homotopy Theory for Operads

The paper I'm referring to can be found here. It came out in 2003. I've been told by professors before that I should be careful relying on things from this paper, because it contained errors.
Is ...

**1**

vote

**0**answers

83 views

### Generating series of free PROs

Let
\begin{equation}
G := \biguplus_{p \geq 0} \: \biguplus_{q \geq 0} G(p, q)
\end{equation}
be a bigraded set of generators and $\mathcal{F}(G)$ be the free PRO generated by $G$ (see [1] for a net ...

**12**

votes

**1**answer

658 views

### Are Lurie's operads special SMCs?

In Higher Operads, Higher Categories, Leinster nicely characterizes operads among monoidal categories (as PROs). Roughly speaking, a monoidal category comes from an operad if its set of objects is ...

**4**

votes

**1**answer

459 views

### Which E_∞-spaces are homotopy colimits of k-truncated E_∞-spaces?

This question is closely related to my previous question about modules over truncated sphere spectra, in particular, it has the same motivation.
Recall that every space (or ∞-groupoid) can be ...

**8**

votes

**1**answer

278 views

### Is the operadic butterfly symmetric?

The operadic butterfly is a diagram in the category of operads in vector spaces. It extends the short exact sequence relating commutative, associative and Lie operads.
$$\begin{array}{ccccc}
& ...