Page "Group object" Paragraph 1

Formally, we start with a category C with finite products ( i. e. C has a terminal object 1 and any two objects of C have a product ).

A group object in C is an object G of C together with morphisms