replaced cartesian monoidal by finite products