theorem Th10: :: ALTCAT_6:10

for I being set
for E being non empty set
for A being ObjectsFamily of I,(EnsCat E) st Union (coprod A) in E holds
( EnsCatCoproduct A is feasible & EnsCatCoproduct A is coprojection-morphisms )