Feigin, E., Khoroshkin, A., Makedonskyi, I., & Orr, D. (submitted). Peter-Weyl theorem for Iwahori groups and highest weight categories.