CatDat

Implication Details

Assumptions: preadditive

Conclusions: locally essentially smallzero morphisms

Reason: This is trivial.