Page "Group object" Paragraph 1
from
Wikipedia
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 ).
Page 1 of 1.
1.971 seconds.