Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
ziggurism's user avatar
  • 1,446