Category:Direct Limits of Sequences of Groups