Research

Mathematical explorations I take seriously enough to think of as research, rather than hobbies.

Serious

• Noncommutative Synthetic Differential Geometry
• Bunched Type Theory and Monoidal Classifying Toposes

Speculative

• Thoughts on the Coherence Problem