Classifying covering types in homotopy type theory
Este artículo formaliza en la teoría de tipos homotópicos la correspondencia de Galois entre espacios de recubrimiento y subgrupos del grupo fundamental, generaliza este concepto a dimensiones superiores y aplica el marco desarrollado para clasificar los recubrimientos de espacios de lentes y construir la esfera de homología de Poincaré.