Category:Definitions/Direct Limits of Sequences of Groups