Direct limit in the context of "Limit (mathematics)"

In mathematics, a direct limit is a way to construct a (typically large) object from many (typically smaller) objects that are put together in a specific way. These objects may be groups, rings, vector spaces or in general objects from any category. The way they are put together is specified by a system of homomorphisms (group homomorphism, ring homomorphism, or in general morphisms in the category) between those smaller objects. The direct limit of the objects ${\displaystyle A_{i}}$, where ${\displaystyle i}$ ranges over some directed set ${\displaystyle I}$, is denoted by ${\displaystyle \varinjlim A_{i}}$. This notation suppresses the system of homomorphisms; however, the limit depends on the system of homomorphisms.

Direct limits are a special case of the concept of colimit in category theory. Direct limits are dual to inverse limits, which are a special case of limits in category theory.