Title: Functorial semantics of algebraic theories