# Tagged Questions

**3**

votes

**1**answer

298 views

### How strong is the condition that an operad splits, i.e. O(n)=O(s)xO(n-s)?

I recently proved something for the operad $Comm$ valued in a model category $M$ and am trying to generalize it to other symmetric operads. I'm very new to operads, so please forgive me if there are ...

**7**

votes

**0**answers

262 views

### When can I assure that the representation theory of a PROP is faithful?

Recall that a PROP is a symmetric monoidal category whose object-set is freely $\otimes$-generated by a single object $x\in P$. A representation or algebra for a prop $P$ in a symmetric monoidal ...

**13**

votes

**3**answers

1k views

### Relation between monads, operads and algebraic theories

I've begun to interest in algebraic theories and their categorical models: in particular monads, generalized multicategories and operads, lawvere theories and their generalization. Is there any ...

**5**

votes

**3**answers

843 views

### Monad arising from operad

It's known that from every operad arises a cartesian monad whose algebras are the algebras for the operad. Leinster proved that there are different operads from which arise the same monad, in this way ...

**8**

votes

**2**answers

608 views

### Right actions of operads and monads

Given an operad $A$, there is an associated monad $M_A$ given by $M_A(X) = \coprod_n A(n) \otimes X^{\otimes n}$ such that being an $A$-algebra and being an algebra over the monad $M_A$ is the same ...