Laplaza Sets, or How to Select Coherence Diagrams for Pseudo Algebras

We define a general concept of pseudo algebras over theories and 2-theories. A more restrictive such notion was introduced by Hu and Kriz, but as noticed by M. Gould, did not capture the desired examples. The approach taken in this paper corrects the mistake by introducing a more general concept, allowing more flexibility in selecting coherence diagrams for pseudo algebras.