Feeds:
Posts

## Archive for December, 2015

It’s common to think of monads as generalized algebraic theories; the most familiar examples, such as the monads on $\text{Set}$ encoding groups, rings, and so forth, have this flavor. However, this intuition is really only appropriate for certain monads (e.g. finitary monads on $\text{Set}$, which are the same thing as Lawvere theories).