2 papers
cs.LO2026
Directed type theory, with a twist
Fernando Rafael Chu Rivera, Paige Randall North
In recent years, Homotopy Type Theory (HoTT) has had great success both as a foundation of mathematics and as internal language to reason about -groupoids (a.k.a. spaces).…
math.AT2023
Transversal motion planning
Cesar A. Ipanaque Zapata, Fernando R. Chu Rivera
In this paper, we introduce the notion of transversal topological complexity (TTC) for a smooth manifold with respect to a submanifold of codimension 1 together with basic resu…