Definition 6.9 (Lawvere theory). By a Lawvere theory, we mean a small category $T$ together with a functor ${Set}_f\to T$ which is bijective on objects and preserves finite coproducts. A model of a Lawvere theory $T$ in any category $C$ with finite products is a functor $M:T^{op}\to C$ preserving finite products.