Title: A filtered category OS and applications
Subjects: Filtered modules, Semisimple Lie groups, Verma modules