Corollary 6.6.
Assuming that:
C
a
category
of finitary algebras as in Example
5.14
(a)
Then
(i)
The forgetful
functor
U
:
C
→
S
e
t
creates
filtered
colimits
.
(ii)
Filtered
colimits
commute
with finite
limits
in
C
.