Francis W. Lawvere

• Functorial semantics of algebraic theories