CatDat

Implication Details

Assumptions: cartesian filtered colimitsthin

Conclusions: exact filtered colimits

Proof: In a thin category, every (finite) limit can be reduced to a (finite) product.

Show 1 category using this implication