6 citations · 6 across the 3 of their papers we have counts for
3 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…
math.CO2021
Partitioning permutations into monotone subsequences
David Wärn
A permutation is -coverable if it can be partitioned into monotone subsequences. Barber conjectured that, for any given permutation, if every subsequence of length $k+2 \cho…