Noah Chrein

Class of 2024

My work revolves around higher/formal category theory. Category theory acts as a framework for the metamathematics of structure and a guide to formally search for proper paradigms to model various real-world phenomena. That is, categories help define and interrelate structures such as manifolds, graphs, groups, etc., which in turn help us model phenomena such as physics, cognition, complex systems, etc.

The phenomenon I am most interested in is knowledge representation. I believe category theory can help us derive paradigms for modeling knowledge representation. I hope to utilize these paradigms, elucidated by category theory, for the important goal of mechanistic interpretability and to provide powerful handles by which we can properly align AI.