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 cofiltered limit of finite limits, see Mac Lane, Ch. IX, Theorem 1.1.

This implication has a dual.