Resolutions by Polygraphs

François Métayer (1)

1 PPS - Preuves, Programmes et Systèmes

A notion of resolution for higher-dimensional categories is defined, by using polygraphs, and basic invariance theorems are proved.

Mots clés: n-category; polygraph; resolution; homotopy; homology

Domaines: Catégories et ensembles [math.CT]

François Métayer. Resolutions by Polygraphs. Theory and Applications of Categories, 2003, 11 (7), pp.148-184. ⟨hal-00148349⟩