“…Monads also model a number of other important structures in computer science, such as (many-sorted) algebraic theories, non-wellfounded syntax [1,8,26], term graphs [9], calculi with variable binders [7], term rewriting systems [18], and, via computational monads [24], state-based computations, exceptions, continuations etc. These applications involve base categories other than Set and the desire for a uniform treatment underpins their monadic axiomatisation.…”