Resumo
A teoria simplicial de singularidades foi iniciada por Banclioff em 1975. Na minha fase de doutorado mostrei que a teoria simplicial era completamente análoga à teoria diferenciável clássica em dimensão 2. Além disso, estendi a teoria simplicial em dimensão 2 para dimensões arbitrárias. Este projeto visa formalizar a extensão desta teoria às aplicações entre variedades algébricas. (AU)