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

learn more… | top users | synonyms

3
votes
1answer
22 views

Symmetric tensor powers as tensors over symmetric group algebra

Let $V$ be a $k$-vector space and $V^{\otimes n}$ the $n$-fold tensor power of $V$ and let $\mathbb{S}_n$ be the symmetric group of an n-element set, with its signum representation denoted by ...
4
votes
1answer
71 views

The algebra of natural transformations of the n-th power tensor functor

Let $k$ be a $0$ characteristic field, $n$ an positive integer and $S_n$ the $n$-th symmetric group. Let's work in the symmetric monoidal category of $k$-vector spaces and linear maps that we denote ...
3
votes
1answer
44 views

Multicategories with out-arities

Basically, my question is: Why the emphasis on domains in the notion of multicategory? I will now give the formal framework to state it correctly. Passing from categories to multicategories ...
0
votes
1answer
46 views

iterated loop spaces and configuration spaces

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 $$ ...
3
votes
0answers
109 views

Associativity of the tensor product of dendroidal sets

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$. ...
2
votes
0answers
58 views

Why do configuration spaces not form an operad?

I have seen in multiple sources that the collection of configuration spaces $\{Conf(n,m)\}_{n \in \mathbb{N}}$ where $$Conf(n,m)=\{(x_1, \ldots ,x_n) \in (\mathbb{R}^m)^n | x_i \neq x_j \text{ if } i ...
2
votes
1answer
52 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$, ...
5
votes
2answers
85 views

Colored operads as finitely essentially algebraic theory.

I call a planar operad what is also called planar (multi-)coloured operad or multicategory and symmetric operad a symmetric multicategory or symmetric (multi-)colored operad. I have two questions ...
2
votes
1answer
85 views

What is the meaning of “Homotopy of Little disc Operads”

I want to understand what means the homotopy of the little discs operad. I'm starting to research in this area and I have some questions. 1) I don't understand why little discs operad is a ...
3
votes
1answer
110 views

S-modules and Schur functors

I am reading the book "Algebraic Operads" by Loday and Vallette. (I will refer to their version 0.999 here : http://math.unice.fr/~brunov/Operads.pdf) In Chapter 5, they define an $\mathbb{S}$-module ...
1
vote
1answer
62 views

Spaces homotopy equivalent to $A_{\infty}$-spaces

I ask this question after reading Peter May's "Geometry of Iterated Loop Spaces", where the problem is definitely hinted at but I couldn't find a definite answer. Recall a symmetric operad ...
3
votes
2answers
113 views

Why are the algebras of the associative operad unital?

According to the n-lab page: The associative operad Assoc is an operad which is generated by a binary operation $\Theta$ satisfying $$\Theta\circ(\Theta,1)=\Theta\circ(1,\Theta)$$ It then ...
2
votes
2answers
163 views

There is no “operad of fields”

I've read the following proof-less claim: there is no operad such that the algebras over it are fields. We can make that precise by asking whether there's an operad $\mathcal{P}$ in abelian groups ...
1
vote
1answer
96 views

Why is an $E_\infty$-operad a kind of ''strictification'' for a non-commutative operation?

A topological space $X$ which is an algebra over an $E_\infty$-operad $E$ consists of a sequence of maps $$ \mu_n':E(n)\times X^n\to X $$ with compatibility conditions. The spaces $E(n)$ are ...
2
votes
0answers
69 views

Γ-spaces and operads

I'm looking for a comprehensible reference that explains how $\Gamma$-spaces are related to $E_{\infty}$-operads. I've found some old publications but was hoping there are better references out there. ...
5
votes
1answer
317 views

Why is the recognition principle important?

The recognition principle basically states that (under some conditions) a topological space $X$ has the weak homotopy type of some $\Omega^k Y$ iff it is an $E_k$-algebra (ie. an algebra over the ...
2
votes
3answers
242 views

Are groups algebras over an operad?

I'm trying to understand a little bit about operads. I think I understand that monoids are algebras over the associative operad in sets, but can groups be realised as algebras over some operad? In ...