Title: Introduction to algebraic theories