Higher Theories and Monads

Simon Henry, Nicholas J. Meadows

We extend Bourke and Garner's idempotent adjunction between monads and pretheories to the framework of $\infty$-categories and we use this to prove many classical results about mon…