Skip to main content

All Questions

Filter by
Sorted by
Tagged with
17 votes
2 answers
1k views

Jon Beck's untitled manuscript containing the "tripleability theorem" (i.e. the monadicity theorem)

Many papers refer to an untitled manuscript of Jon Beck (Cornell, 1966) for the origin of the monadicity theorem (originally called a "tripleability theorem"). An early proof is in Manes's ...
varkor's user avatar
  • 10.7k
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 ...
Giorgio Mossa's user avatar
4 votes
2 answers
356 views

The bidualizing monad

Let $\mathbf{C}$ be a closed symmetric monoidal category (I probably need even less than this; the examples I have in mind are simply the category of modules over a commutative ring and the category ...
Gro-Tsen's user avatar
  • 32.5k