Functorial Semantics of Algebraic Theories. Thesis (1963)

by F W Lawvere