
Hi there! I'm a mathematics lecturer at Northwestern University. My research areas are category theory, mathematical logic and homotopy type theory; I'm also writing a textbook called An Infinite Descent into Pure Mathematics.
Top Questions
Hi there! I'm a mathematics lecturer at Northwestern University. My research areas are category theory, mathematical logic and homotopy type theory; I'm also writing a textbook called An Infinite Descent into Pure Mathematics.