research
∙
05/16/2023
Ext groups in Homotopy Type Theory
We develop the theory of Yoneda Ext groups over a ring in homotopy type ...
research
∙
01/06/2023
Central H-spaces and banded types
We introduce and study central types, which are generalizations of Eilen...
research
∙
09/14/2021