Rewriting methods in higher algebra

Méthodes de réécriture en algèbre supérieure

Yves Guiraud (1, 2)

1 IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale
2 PI.R2 - Design, study and implementation of languages for proofs and programs

Mots clés: Homotopy; Homology; Monoid; Artin monoid; Associative algebra; Higher category; Polygraph; Rewriting; Squier's theorem

Mots clés: Catégorie supérieure; Polygraphe; Réécriture; Théorème de Squier; Homotopie; Homologie; Cohérence; Résolution; Monoïde; Monoïde d'Artin; Algèbre associative

Domaines: Catégories et ensembles [math.CT]; Topologie algébrique [math.AT]; K-théorie et homologie [math.KT]; Calcul formel [cs.SC]; Théorie des groupes [math.GR]; Algèbre commutative [math.AC]

Yves Guiraud. Rewriting methods in higher algebra. Category Theory [math.CT]. Université Paris 7, 2019. ⟨tel-02161197⟩