CatDat

Implication Details

Assumptions: continuous

Conclusions: cofinitaryleft exactpreserves products

Proof: This is trivial.

Show 27 functors using this implication