nLab Jarl G. Taxerås Flaten

• personal page

Selected writings

Formalization of abelian (Grothendieck-) univalent categories of ring-modules, in homotopy type theory (univalent foundations of mathematics):

• Jarl G. Taxerås Flaten, Univalent categories of modules [arXiv:2207.03261]

On delooping, H-spaces and Eilenberg-MacLane spaces in homotopy type theory:

• Ulrik Buchholtz, J. Daniel Christensen, Jarl G. Taxerås Flaten, Egbert Rijke, Central H-spaces and banded types [arXiv:2301.02636]

category: people