Lawvere, Functorial Semantics of Algebraic Theories (1963)

by F William