Un colloque en hommage à 

Jean Bénabou

Le 18 novembre 2022 (sur Zoom)

Table des matières

Ouverture du colloque par Anatole Khélif


Profunctors and group cohomology, par Dominique Bourn

Profunctors and group cohomology,

 par Dominique Bourn

How to be concrete when you don't have a choice, by  David Roberts 


PDF de l'exposé de David Roberts

How to be concrete when you don't have a choice, 

by  David Roberts

Current uses of monoidal categories at the cutting-edge tech end (AI & quantum computing), by Bob Coecke

Références

A categorical semantics of quantum protocols

Autres vidéos

Compositional Intelligence

Bob Coecke - From Quantum in Pictures to Speech, Space and Music. Public Lec. - QISS 2022 Conference

Current uses of monoidal categories at the cutting-edge tech end (AI & quantum computing), 

by Bob Coecke

Treillis de structures et généricité, par Stéphane Dugowson

Treillis de structures et généricité, 

par Stéphane Dugowson

A story of action representability, by George Janelidze


PDF de l'exposé de G. Janelidze

A story of action representability,

 by George Janelidze

Représentations des autographes et des autocatégories, par René Guitart

René Guitart : Représentations des autographes et des autocatégories

Clôture et témoignages

Organisation du colloque

Colloque organisé sous l'égide du séminaire SIC et du séminaire CLE par Anatole Khélif, Andrée Ehresmann et Isar Stubbe, avec le soutien de René Guitart et Stéphane Dugowson.

Traitement vidéo et mise en page web, Stéphane Dugowson... & merci à Laurence Honnorat (Innovaxiom) pour le petit coup de pouce :-)

Site CNRS du colloque du 18 novembre 2022 : https://indico.math.cnrs.fr/event/8771