We introduce and study central types, which are generalizations of
Eilen...
We study cocartesian fibrations in the setting of the synthetic
(∞,1)-ca...
We show that the type TZ of Z-torsors has the
dependent universal proper...
We present a development of the theory of higher groups, including infin...
We present a development of cellular cohomology in homotopy type theory....