Ensembles reguliers

Abstract

We define an interesting sub-category of the category of simplicial sets, $\Sr$, whose objects are called regular. Both it and the subcategory ${\mathcal{S}}_{f-\mathrm{reg}}$ of finite regular simplicial sets have good stability properties under limits and union. The category ${\mathcal{S}}_{f-\mathrm{reg}}$ is cartesian closed, in contrast to the category of finite simplicial sets which is not cartesian closed.

10 pages, 2 figures