ABSTRACT
This chapter starts with products on models towards topos characterizations for algebraic theories and models. Basic categorical and functorial algebraic theory models are presented in light of ultraproducts on models.
5.1 ULTRAPRODUCTS ON ALGEBRAS
