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:[2]