Abelian envelopes of exact categories and highest weight categories - 42Papers