Algebraic theories through category - Valsala Varghese (1992)