Coproducts and the additivity of the Szymczak index
We prove that the index defined by Szymczak in [9] has an additivity property. Moreover we give an abstract theorem for extending coproducts from an initial category to the Szymczak category, which provides a setting for the proof of additivity.