This work introduces tools from the field of category theory that make it possible to tackle
until now unsolvable representation problems (determination of the range of a given functor).
The basic idea is: if a functor lifts many objects then it also lifts many (poset-indexed)
diagrams.
