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 relate to homotopy type theory, and I contribute to the Coq HoTT library.

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

Preprints & notes

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

Univalent categories of modules (arXiv), submitted. (19 pages)

Internal Ext groups, for the written part II comprehensive examination at Western. (16 pages)

Upcoming & recent talks

The internal AB axioms (abstract), HoTT/UF 2022, July 31 2022.

Ext groups over a space, Young Topologists Meeting, July 22 2022.

Internal injectivity of modules in higher toposes (abstract), ASL 2022 North American Annual Meeting, April 2022.

Internally injective modules in higher toposes, Logic and higher structures, February 2022.

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

Higher Ext via profunctor tensor products, UWO Math Graduate Seminar, October 2020.

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

Mentoring & teaching

During Summer '22, I am a teaching assistant for the HoTTEST Summer School 2022.

Since Fall '21, I have been one of the organizers of the Directed Reading Program at Western. Previously, I have mentored the following projects:


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