21 citations · 25 across the 15 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.AT2019
The long exact sequence of homotopy -groups
Ulrik Buchholtz, Egbert Rijke
Working in homotopy type theory, we introduce the notion of -exactness for a short sequence of pointed types, and show that any fiber sequence $F\hookrightarrow E…
math.LO2019
Construction of the Circle in UniMath
Marc Bezem, Ulrik Buchholtz, Daniel R. Grayson +1
We show that the type of -torsors has the dependent universal property of the circle, which characterizes it up to a unique homotopy equivalence.…