Definition A co - product of $ mathscr{C} $ - objects $ a $ and $ b $ is a $ mathscr{C} $ - object $ a!+!b $ together with a pair $ i_{a}!:!ato a+b $