2 papers
math.AT2023
Ext groups in Homotopy Type Theory
J. Daniel Christensen, Jarl G. Taxerås Flaten
Ext groups are fundamental homological invariants which have important applications in homotopy theory and algebra. In particular, they appear in the classical universal coefficien…
math.AT2023
Central H-spaces and banded types
Ulrik Buchholtz, J. Daniel Christensen, Jarl G. Taxerås Flaten +1
We introduce and study central types, which are generalizations of Eilenberg-Mac Lane spaces. A type is central when it is equivalent to the component of the identity among its own…