Add results about projections of cartesian strong monoidal functor