Algebraic theories (Cambridge Tracts in Mathematics 184)