research
∙
01/06/2023
Central H-spaces and banded types
We introduce and study central types, which are generalizations of Eilen...
share
research
∙
05/04/2021
Synthetic fibered (∞,1)-category theory
We study cocartesian fibrations in the setting of the synthetic (∞,1)-ca...
research
∙
10/04/2019
Construction of the Circle in UniMath
We show that the type TZ of Z-torsors has the dependent universal proper...
research
∙
02/12/2018
Higher Groups in Homotopy Type Theory
We present a development of the theory of higher groups, including infin...
research
∙
02/06/2018