direct system

Algebra, Mathematics, Sciences A set of algebraic structures (which are part of a concrete category; e.g., modules) and a set of morphisms between them (e.g., module homomorphisms) which all together form a small category which is the image of a covariant functor whose domain is a directed poset.