 Finite-limit-preserving functor

A finite-limit-preserving functor preserves a terminal object and pullbacks, equivalently all finite limits. It is also called left exact. Such functors from a Cartesian syntactic category to a finite-limit category correspond to models of the associated Cartesian theory.