projection maps are surjective

if the components are monoids (hence have points), and the index type is
a set, and LEM (Law of Excluded Middle) is assumed.