Jarl G. Taxerås Flaten

I am a third year Ph.D. student advised by Dan Christensen at the University of Western Ontario. My research interests are related to homotopy type theory, and I contribute to the Coq HoTT library.

Previously, I studied at NTNU (MSc) and at EPFL (BSc).

Preprints & notes

(In preparation) Ext groups in Homotopy Type Theory, joint with Dan Christensen.

Internal Ext groups, notes written for my part II comprehensive examination at UWO.

Recent talks

Ext groups in Homotopy Type Theory (abstract), HoTT/UF 2021.

Higher Ext via profunctor tensor products, expository talk for the UWO Math graduate seminar, October 2020.

Programming with Category Theory, NTNU Geometry & Topology seminar, February 2019.


During Fall '21, I am one of the organizers of the Directed Reading Program at UWO. Previously, I have mentored the following projects:


You can contact me at jtaxers (at) uwo (dot) ca.