Functorial Semantics of Algebraic Theories (1963)

by F W Lawvere
Venue:Columbia University