No CrossRef data available.
Published online by Cambridge University Press: 20 January 2009
In somes categories, there are structures that look very much like groups, and they usually are. These structures are called group-objects and were first studied by Eckmann and Hilton (1). If our category has an object T such that hom(X, T)= {tx}, a singleton, for each object X ∈ Ob
, T is called a terminal object. Our category
must have products; i.e. for A1,…, An ∈;. Ob
, there is an object A1 × … × An ∈ Ob
and morphisms pi: A1 × … × An → Ai so that if fi: X → Ai, i = 1, 2, …, n, are morphisms of
, then there is a unique morphism [f1, …, fn]: X → A1 × … × An such that
for i = 1, 2, …, n.