1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2021★ 1 cited
On Homotopy of Walks and Spherical Maps in Homotopy Type Theory
Jonathan Prieto-Cubides
We work with combinatorial maps to represent graph embeddings into surfaces up to isotopy. The surface in which the graph is embedded is left implicit in this approach. The constru…
cs.LO2021
On Planarity of Graphs in Homotopy Type Theory
Jonathan Prieto-Cubides, Håkon Robbestad Gylterud
In this paper, we present a constructive and proof-relevant development of graph theory, including the notion of maps, their faces, and maps of graphs embedded in the sphere, in ho…