Catégories strictes et catégories faibles en dimension 3

Les catégories strictes sont utilisées pour étudier des propriétés géométriques et calculatoires en algèbre, tandis que les catégories faibles sont importantes pour formaliser les mathématiques sur ordinateur. Si les premières sont bien comprises aujourd’hui, possédant des méthodes de calcul
efficaces, la théorie mathématique des secondes est encore peu développée car elles sont bien plus complexes. Ce projet de recherche consiste à contribuer à l’effort de rapprochement entre ces deux notions, dans le but de favoriser un transfert d méthodes disponibles du cas strict au cas faible. Il
s’agit, en particulier, de comprendre explicitement les premières différences entre catégories strictes et faibles, qui apparaissent sous la forme d’obstructions tridimensionnelles.

Faculty Supervisor:

Richard Blute

Student:

Partner:

Université de Paris

Discipline:

Mathematics

Sector:

University:

University of Ottawa

Program:

Globalink Research Award