11
votes
1answer
565 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 ...
9
votes
0answers
161 views

Are pivotal categories the algebras for a cartesian monad?

It seems to be "known" but not written down that the following are more-or-less equivalent: ...
9
votes
2answers
281 views

When do PROP-morphisms induce adjunctions?

If (C,tensor,1) is a symmetric monoidal category and f:A-->B is a morphism of PROPs (or monoidal cats = colored PROPs), one gets a forgetful functor f^*:B-Alg(C)-->A-Alg(C) (where ...