What is the meaning of Direct_system?
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.
Source: wiktionary.orgSearch words containing