Théorie des catégories et applications

Description du programme

La théorie des catégories est une discipline mathématique qui se distingue par son rôle unificateur et son rôle dans les fondements des mathématiques. Depuis sa création par Eilenberg et MacLane, son influence n'a cessé de s'étendre et de s'approfondir. L'histoire de son développement est intimement liée à celle des mathématiques contemporaines. Montréal est un centre important de recherche en théorie des catégories depuis plus de 20 ans. Les intérêts de recherche des membres incluent:

  • algèbre et topologie;
  • logique et fondements des mathématiques;
  • informatique théorique;
  • linguistique mathématique.

Le groupe est affilié au Centre de recherche en théorie des catégories.

Membres du programme