Kan Extensions and Cartesian Monoidal Categories