Cartesian effect categories are Freyd-categories
scientific article; zbMATH DE number 5865428