Direct limit (source code)

= Direct limit
{wiki=Direct_limit}

In the context of category theory and algebra, a **direct limit** (also known as a **colimit**) is a way to construct a new object from a directed system of objects and morphisms (arrows). This concept is widely used in various areas of mathematics, including algebra, topology, and homological algebra.