Séminaire Itinérant de Catégories

Lieu : Université du Littoral-Côte d’Opale, Calais, salle B.014

Organisation : Dominique Bourn et Isar Stubbe

Programme:

10h00 – café
10h30 – exposé de René Guitart
11h40 – exposé de Mathieu Duckerts
12h50 – déjeuner + café
14h30 – exposé de Isar Stubbe
15h40 – exposé de Enrico Vitale
16h20 – café
16h40 – exposé de Dominique Bourn
17h50 – fin

Exposés:

René Guitart — La logique borroméenne à 4 éléments, comme exemple de théorie borroméenne — Sur le corps à quatre éléments se combinent, suivant un dispositif hexagonal, 12 logiques booléennes isomorphes et distinctes, dont les algèbres de fonctions logiques sont donc isomorphes à l’algèbre de Post-Malcev $P_2$, pour produire une logique dont l’algèbre des fonctions est l’algèbre de Post-Malcev $P_4$, que l’on comprendra alors comme borroméenne de quatre façons. On soulignera que l’on a là un exemple de présentation borroméenne d’une théorie de Lawvere.

Mathieu Duckerts — Une description du groupe fondamental en terme de commutateurs et opérateurs de fermeture — On établit une connexion entre l’approche Galoisienne à l’homologie semi-abélienne et les opérateurs de fermeture homologiques. En particulier, une formule de Hopf généralisée est obtenue, permettant de prendre de nouveaux types de foncteurs comme coefficients. Cela rend possible le calcul du groupe fondamental correspondant à de nombreuses réflexions intervenant, par exemple, dans la catégorie des groupes, des anneaux ou des groupes compacts. Travail en collaboration avec Tomas Everaert et Marino Gran.

Isar Stubbe — Faisceaux déguisés en modules

Enrico Vitale — TBA

Dominique Bourn — Sur l’exponentiation algébrique

Participants (ordre d’inscription) :

Dominique Bourn
Isar Stubbe
Andrée Ehresmann
Enrico Vitale
René Guitart
Evelyn Barbin
Marino Gran
Olivette Ngaha
Mathieu Duckerts
Valerian Even
John Mandereau
John Robert
Jacques Penon
Elisabeth Vaugelade
Bao Long Dang Van
Corentin Drugmand
Roland Cazalis
Shalom Eliahou
Jean-Pierre Laffineur