CatDat

Implication Details

Assumptions: cofinitaryleft exact

Assumptions on source category: finitely complete

Conclusions: continuous

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