Highest-weight category

In the mathematical field of representation theory, a highest-weight category is a "k"-linear category C (here "k" is a field) that
and such that there is a locally finite poset Λ (whose elements are called the weights of C) that satisfies the following conditions: