Algebraic theories, sometimes called equational theories, are syntactic notions given by finitary operations and equations, such as monoids, groups, and rings. There is a well-known category-theoretic treatment of them that algebraic theories are equivalent to finitary monads on Set. In this paper, using partial Horn theories, we syntactically generalize such an equivalence to arbitrary locally presentable categories from Set; the corresponding algebraic concepts relative to locally presentable categories are called relative algebraic theories. Finally, we give a framework for universal algebra relative to locally presentable categories by generalizing Birkhoff's variety theorem.
Keywords: partial Horn theory, locally presentable category, accessible monad, Birkhoff's variety theorem, HSP theorem, universal algebra
2020 MSC: 18C10, 18C15, 18C35, 18E45
Theory and Applications of Categories, Vol. 45, 2026, No. 18, pp 660-716.
Published 2026-03-27.
TAC Home