Finitely presented models of an algebraic theory
= Finitely presented models of an algebraic theory
{title2=$\mathbb T_{fp}$}
A finitely presented model is described by finitely many generators and finitely many equations. Model homomorphisms from it commute with filtered colimits. A small skeleton of these models is equivalent to the opposite of the finite-equation part of the algebraic syntactic category.