All Questions
14 questions
16
votes
2
answers
2k
views
Why are operads sometimes better than algebraic theories?
Question 1: Are there any contexts in which replacing the category of (non-symmetric or symmetric) operads (in some monoidal category or symmetric monoidal category, respectively) with the category of ...
- 42.4k
1
vote
0
answers
124
views
The S-module Ass is same as the composite of Com and Lie
It has been cited in several places (eg. https://arxiv.org/pdf/1912.05519.pdf) that the S-module Ass is isomorphic to the composite of the S-modules Com and Lie. Is there a reference which gives the ...
- 101
2
votes
1
answer
339
views
Monad induced by actegory
It seems to be folklore that if we have an actegory, i.e. a monoidal functor from a monoidal category $C$ to an endofunctor category $Cat(D,D)$, we can obtain from it a monad on $D$. This appears for ...
- 907
4
votes
1
answer
391
views
Different ways to “deloop” a (topological) $A_\infty$-algebra
Let $\varphi:A\to \mathrm{Ass}$ be an $A_\infty$-operad in topological spaces, and let $X$ be an $A$-algebra. I see three possibilities to construct a delooping out of $X$:
Rectify $X$ by taking the ...
- 30.4k
0
votes
1
answer
154
views
Substitution structure on pointed sets
$\def\Fin{\text{Fin}_*}
\def\Set{\text{Set}_*}
\def\dd{\mathop{\diamond_\land}}$
The present question is intimately related to another question.
Let $\Fin$ be the category of pointed sets.
The ...
- 1,253
8
votes
1
answer
321
views
Finitary monads on $\operatorname{Set}$ are substitution monoids. Finitary monads on $\operatorname{Set}_*$ are...?
$\DeclareMathOperator\Fin{Fin}\DeclareMathOperator\Lan{Lan}\DeclareMathOperator\Set{Set}$
The present question is intimately related to another question.
It is well known that the category of ...
- 1,253
3
votes
1
answer
118
views
Pseudo or lax algebras for a 2-monad, reference request
I would like to find explicit definitions of pseudo, or even lax, algebras for a 2-monad, and their lax morphisms, with all the coherence diagrams included.
Alternatively, coherent lax algebras for ...
- 40.3k
3
votes
0
answers
101
views
Monadicity of the composite of an operad and a monad
If $T$ is a monad on a category $\mathcal C$ and $T'$ is a monad on $T$-algebras, then (if I understand the answers of this question correctly) the adjunction between $\mathcal C$ and $T'$-algebras is ...
- 796
0
votes
1
answer
177
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
$$
\eta_n=\phi^{-...
- 25.3k
9
votes
2
answers
739
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 ...
- 37.8k
1
vote
1
answer
288
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 ...
- 1,446
21
votes
3
answers
3k
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 ...
6
votes
3
answers
2k
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 ...
- 1,680
10
votes
2
answers
862
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 ...
- 6,162