Hi Karin, For > Lawvere, F. W., Functorial Semantics of Algebraic Theories, Proc. Nat. Acad. Sc. U.S.A. 50, > 869–872 (1963). see here: http://www.tac.mta.ca/tac/reprints/articles/5/tr5abs.html Best, David Roberts