Identités entre les relations pour la réécriture en dimension supérieure
Identities among relations for higher-dimensional rewriting systems
Séminaires et Congrès | 2013
Anglais
Nous généralisons la notion d'identités entre les relations, bien connue pour les présentations de groupes, aux présentations de n-catégories par polygraphes. À chaque polygraphe, nous associons une track n-catégorie, généralisant la notion de module croisé pour les groupes, afin de définir son système naturel des identités entre les relations. Nous relions le fait que ce système naturel soit de type fini avec le fait que le polygraphe soit de type de dérivation fini.
n-catégorie, réécriture, polygraphe, identités entre les relations, type de dérivation fini.