Category of groups: Difference between revisions
(New page: {{particular category}} ==Definition== The '''category of groups''', denoted <math>\operatorname{Group}</math> or <math>\operatorname{Grp}</math>, is defined as follows: * Its objects a...) |
(No difference)
|
Revision as of 23:53, 9 December 2008
This article is about a particular category
View other particular categories
Definition
The category of groups, denoted or , is defined as follows:
- Its objects are groups.
- Its morphisms are homomorphisms of groups.
- The identity morphism is defined as the identity map.
- Composition of morphisms is defined by function composition.