Oxford

On local states and fibered monads
Photograph by Ross Duncan, Oxford 2017




Category Theory meeting in Calais 2008

On dialogue categories
Photograph by Jürgen Koslowski, Calais 2008




My true self

My true self (as seen by a student)
Drawing by Jennifer Ziyuan Huang




Mathematical life in Bonn

Mathematical life in Bonn
Homotopy type theory at HIM, June 2018