1: \begin{abstract}

2:     An algebraic theory, sometimes called an equational theory, is a theory defined by finitary operations and equations, such as the theories of groups and of rings.

3:     It is well known that algebraic theories are equivalent to finitary monads on $\mathbf{Set}$.

4:     In this paper, we generalize this phenomenon to locally finitely presentable categories using partial Horn logic.

5:     For each locally finitely presentable category $\mathscr{A}$, we define an ``algebraic concept'' relative to $\mathscr{A}$, which will be called an $\mathscr{A}$-relative algebraic theory, and show that $\mathscr{A}$-relative algebraic theories are equivalent to finitary monads on $\mathscr{A}$.

6:     Finally, we generalize Birkhoff's variety theorem for classical algebraic theories to our relative algebraic theories.

7: \end{abstract}

8: