Functor

Exact functor

Let be finitely (co)complete categories. A functor is left exact iff it commutes with finite limits, #m/def/cat i.e.

for any finite diagram ; and right exact iff it commutes with finite colimits, i,e,

for any finite diagram . A functor which is both left and right exact is simply called an exact functor. A more general notion is Continuity and cocontinuity of functors.

The concept originated in the context of Exact functor on abelian categories.

#state/develop | #lang/en | #SemBr