Théorie des catégories et applications
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.
Liens
- Membres participants
- Michael Barr (McGill);
Luc Bélair (UQAM);
Richard Blute (U. d'Ottawa);
Marta Bunge (McGill);
Michael Hallett (McGill, Philosophie);
André Joyal (UQAM);
Joachim Lambek (McGill);
James Loveys (McGill);
M. Makkai (McGill);
Jean-Pierre Marquis (U de M, Philosophie);
Prakash Panangaden (McGill, Informatique);
Ivo Rosenberg (U de M);
Robert Seely (McGill);
Phillip Scott (U. d'Ottawa).