Cocartesian Category

A category is cocartesian if it has all binary Cocartesian Coproducts and an Initial Object.