Generalise results about wedge for pointed categories

[Alizter]

We have various results about wedges such as the inclusion of a wedge into products, projections etc. that can be generalised for any pointed category with coproducts. Examples include:

• pType
• AbGroup
• Group

AbGroup is quite interesting in this case as for finite index sets, products and coproducts coincide but this is no longer the case for a general indexing type with decidable equality. When there is no decidable equality, it may not even be true that there is a map from coproducts to products.