About Dan Christensen

I'm a mathematician at the University of Western Ontario. I'm interested in homotopy theory, higher categories, homotopy type theory, and many other things.

Lists

Timeline

{username} has no activity yet