Objectif principal : L'axe 4 est centré sur ces thématiques communes : opérades et monades, catégories supérieures, invariants homologiques et topos.
Responsables :
Equipes impliquées :
Il y a une forte intersection sur les thématiques liées aux catégories et aux structures algébriques, avec souvent des objets communs (par exemple les catégories supérieures) étudiés pour des raisons différentes (sémantique des programmes côté LIPN, théorie de l'homotopie côté LAGA) ou par des méthodes différentes.
L'axe est très recent car elle a été créé au printemps 2022.