6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2024
Natural numbers from integers
Christian Sattler, David Wärn
In homotopy type theory, a natural number type is freely generated by an element and an endomorphism. Similarly, an integer type is freely generated by an element and an automorphi…
math.AT2023★ 6 cited
Eilenberg-MacLane spaces and stabilisation in homotopy type theory
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…