Pseudocompact Algebras and Highest Weight Categories