User Portlet

My work revolves around higher / formal category theory. Category theory acts as a framework for the meta-mathematics 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 phenomena 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, to the important goal of mechanistic interpretability and to provide powerful handles by which we can properly align AI.