Representability and local representability of algebraic theories (Q1966140)

A finitary monosorted algebraic theory \(\mathcal T\) is called locally representable (or representable) in a category \(\mathcal K\) with finite products if each of its initial segments is the domain of a full faithful finite-products-preserving functor into \(\mathcal K\) (or if \(\mathcal T\) itself is the domain of such a functor). The present paper investigates the question when local representability of an algebraic theory, that is, the existence of possibly separate representations of each of its segments, implies its representability. Theories \(\mathcal T\) that are representable in any category with finite products in which they are locally representable are completely characterized.