All Questions

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

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

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

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

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