The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads