noun: (algebra) A set of algebraic structures (which are part of a concrete category; e.g., groups) and a set of morphisms between them (e.g., group homomorphisms) which all together form a small category which is the image of a contravariant functor whose domain is a directed poset.
