Functorial Semantics of Algebraic Theories (1963)

by F W Lawvere