15 citations · 38 across the 8 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.AT2018★ 11 cited
On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory
Floris van Doorn
The goal of this dissertation is to present synthetic homotopy theory in the setting of homotopy type theory. We will present various results in this framework, most notably the co…
cs.LO2018
Higher Groups in Homotopy Type Theory
Ulrik Buchholtz, Floris van Doorn, Egbert Rijke
We present a development of the theory of higher groups, including infinity groups and connective spectra, in homotopy type theory. An infinity group is simply the loops in a point…