Hi there! I'm an Assistant Teaching Professor at Carnegie Mellon University and author of An Infinite Descent into Pure Mathematics. My research is in category theory and its connections with logic and algebra.