Lemma 6.10.
Assuming that:
T
a
Lawvere theory
Then
the
category
of
T
-
models
in
S
e
t
is (
equivalent
to) a finitary algebra
category
in the sense of Example
5.14
(a).