Rewriting methods in higher algebra

Hdr Année : 2019

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

(1, 2)

1
2

Yves Guiraud

Homotopy Homology Monoid Artin monoid Associative algebra Higher category Polygraph Rewriting Squier's theorem

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

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]

Fichier principal

hdr.pdf (1.01 Mo)

Origine	Fichiers produits par l'(les) auteur(s)

https://hal.science/tel-02161197

Soumis le : jeudi 20 juin 2019-15:12:12

Dernière modification le : vendredi 8 novembre 2024-15:20:05

tel-02161197 , version 1 (20-06-2019)

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

UNIV-PARIS7 CNRS INRIA INRIA2 USPC UP-SCIENCES IRIF

283 Consultations

618 Téléchargements