エミリー・リーエルは高次カテゴリ理論の最前線で活動しながら、数学をより包括的にするための努力をしています。彼女は、オーケストラにおけるヴィオラと数学のカテゴリ理論の役割に類似性を見出し、カテゴリ理論を数学の「接着剤」と考えています。この理論は1945年にサミュエル・アイレンバーグとソールダース・マクラーニが提案したもので、数学において等号の概念を排除し、より深い「同値」の概念を導入することを議論しました。高次カテゴリ理論では、対象同士の同値だけでなく、その同値同士の同値、さらにはそのまた同値といった形で無限の関係性について考慮されます。リーエルはこの理論の利用可能性を拡大するために取り組んでおり、近く出版予定の書籍ではこの分野の技術的基盤を再構築することを目指しています。この功績により、彼女は2021年のAWMジョアン・ジョセフ・ビルマン研究賞を受賞しました。