6 citations · 6 across the 2 of their papers we have counts for
1 paper · 1 filter
David Wärn
In this note, we study the delooping of spaces and maps in homotopy type theory. We show that in some cases, spaces have a unique delooping, and give a simple description of the de…