论文标题
迭代降低
Iterative Desingularization
论文作者
论文摘要
如果每个非分类单纯形的代表映射是demisewise的,则据说简单的集合是非单一的。包含在对象的整个子类别的简单集类别的类别中,其对象是非单明的简单组,该类别允许一个称为Desingularization的左伴函数。在本文中,我们提供了对垂直化的迭代描述,该描述适用于理论目的以及进行计算。
A simplicial set is said to be non-singular if the representing map of each non-degenerate simplex is degreewise injective. The inclusion into the category of simplicial sets, of the full subcategory whose objects are the non-singular simplicial sets, admits a left adjoint functor called desingularization. In this paper, we provide an iterative description of desingularization that is useful for theoretical purposes as well as for doing calculations.