f^* commutes with finite products