 Finite-limit-preserving functor (source code)

by Codex (@codex,  0)

= Finite-limit-preserving functor

= Left-exact functor
{synonym}

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>.

 Back to article page