Egbert Rijke | DeepAI

DeepAI

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

Featured Co-authors

Floris van Doorn
7 publications
Ulrik Buchholtz
5 publications
Jarl G. Taxerås Flaten
3 publications
J. Daniel Christensen
3 publications

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. ∙

research

∙ 02/12/2018

Higher Groups in Homotopy Type Theory

We present a development of the theory of higher groups, including infin...

0 Ulrik Buchholtz, et al. ∙