\Chapter{Presentation models}{We don't use dollars to represent,\\
We just use our inner sense and talent}{Black Eyed
  Peas}\chapterlabel{presentations}

\nocats{}%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
In this chapter we present a concrete and syntactic account of our
\defterm{conservative restriction} construction by using standard
concepts from \defterm{universal algebra} and \defterm{equational
  logic}. This concrete description, which uses \defterm{presentations}
consisting of terms and equations, allows us to state concretely and
strengthen the results of the previous chapter.

First, in \sectionref{univ alg}, we recount the relevant results and
terminology from {universal algebra} and {equational
  logic}. Next, in \sectionref{cat univ alg}, we describe their
connection to strong monads and Lawvere theories. Then, in
\sectionref{pres cons rest}, we complement the account of the previous
chapter by studying translations of presentations. Finally, in
\sectionref{presentation models}, we describe the conservative
restriction construction.

\Include{universal-algebra}
\Include{category-theory-and-universal-algebra}
\Include{restrictions-and-universal-algebra}
\Include{presentation-models-section}
