Category:Existence and Uniqueness of Direct Limit of Sequence of Groups