Direct limit

In mathematics, a direct limit (also called inductive limit) is a colimit of a "directed family of objects". We will first give the definition for algebraic structures like groups and modules, and then the general definition, which can be used in any category.