Abstract
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.
Full Text
Published Version (
Free)
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call