Jarl G. Taxerås Flaten | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Ulrik Buchholtz
5 publications
J. Daniel Christensen
3 publications
Egbert Rijke
2 publications

research

∙ 05/16/2023

Ext groups in Homotopy Type Theory

We develop the theory of Yoneda Ext groups over a ring in homotopy type ...

0 J. Daniel Christensen, et al. ∙

research

∙ 02/24/2023

Formalising Yoneda Ext in Univalent Foundations

Ext groups are fundamental objects from homological algebra which underl...

0 Jarl G. Taxerås Flaten, et al. ∙

research

∙ 01/06/2023

Central H-spaces and banded types

We introduce and study central types, which are generalizations of Eilen...

0 Ulrik Buchholtz, et al. ∙