21 citations · 25 across the 15 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
math.LO2018
Higher Structures in Homotopy Type Theory
Ulrik Buchholtz
The intended model of the homotopy type theories used in Univalent Foundations is the infinity-category of homotopy types, also known as infinity-groupoids. The problem of higher s…
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…
cs.LO2018★ 1 cited
Cellular Cohomology in Homotopy Type Theory
Ulrik Buchholtz, Kuen-Bang Hou
We present a development of cellular cohomology in homotopy type theory. Cohomology associates to each space a sequence of abelian groups capturing part of its structure, and has t…