localization functors commute with finite products