Direct System Definition

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 .