Cavallo, Evan

1. The equivariant model structure on cartesian cubical sets
   2024/06/26 by Awodey, Steve, Cavallo, Evan, Coquand, Thierry +2 · 3 citations
   #Algebraic Topology (math.AT) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
2. Relative elegance and cartesian cubes with one connection
   2022/11/27 by Evan Cavallo, Cavallo, Evan, Christian Sattler +1 · 1 citation
   Mathematics · Physics and Astronomy · #Homotopy and Cohomology in Algebraic Topology #Advanced Topics in Algebra #Nonlinear Waves and Solitons