[cat.fr] SIC à Calais le 21 octobre 2011

[Isar Stubbe <>]

Bonjour à tous,

Voici le programme du prochain Séminaire Itinérant de Catégories, qui aura 
donc lieu ce vendredi 21 octobre 2011 à Calais. Si vous voulez y participer 
mais vous n'êtes pas encore inscrit, inscrivez-vous le plus tôt possible en 
répondant à ce mail; nous avons besoin de votre inscription pour organiser le 
déjeuner.

Cette information est aussi disponible sur le site du SIC: 
http://www.lmpa.univ-littoral.fr/SIC/

Cordialement,

D. Bourn et I. Stubbe.

                            ---==o0o==---

Date: vendredi 12 octobre 2011


Lieu: Labo de math de l'Université du Littoral-Côte d'Opale à Calais, salle 
B014


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 comme modules

Enrico Vitale -- TBA

Dominique Bourn -- Sur l'exponentiation algebrique


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