CatDat

Implication Details

Claim: Given a functor whose domain is finitely complete, if it is cofinitary and is left exact, then it is continuous.

Proof: This is because every limit can be written as a filtered limit of finite limits, see Mac Lane, Ch. IX, Theorem 1.1.