Content deleted Content added
m custom spacing in math formulas (via WP:JWB) |
|||
Line 25:
In [[category theory]], a '''group with operators''' can be defined{{sfn|Mac Lane|1998|p=41}} as an [[object (category theory)|object]] of a [[functor category]] '''Grp'''<sup>''M''</sup> where ''M'' is a [[monoid]] (i.e. a [[category (mathematics)|category]] with one object) and '''Grp''' denotes the [[category of groups]]. This definition is equivalent to the previous one, provided <math>\Omega</math> is a monoid (if not, we may expand it to include the [[identity function|identity]] and all [[function composition|compositions]]).
A [[morphism]] in this category is a [[natural transformation]] between two [[functor]]s (i.e., two groups with operators sharing same operator ___domain ''M''
A group with operators is also a mapping
|