Colloque Bénabou
vendredi 18 novembre 2022 -
10:00
lundi 14 novembre 2022
mardi 15 novembre 2022
mercredi 16 novembre 2022
jeudi 17 novembre 2022
vendredi 18 novembre 2022
10:15
Mot de bienvenue - ouverture du colloque
-
Anatole Khélif
Mot de bienvenue - ouverture du colloque
Anatole Khélif
10:15 - 10:30
vidéo : <a href="https://youtu.be/51Ww5-eunJk">https://youtu.be/51Ww5-eunJk</a>
10:30
Profunctors and group cohomology
-
Dominique Bourn
Profunctors and group cohomology
Dominique Bourn
10:30 - 11:15
vidéo : <a href="https://youtu.be/TfxxKv13Qao">https://youtu.be/TfxxKv13Qao</a>
11:15
How to be concrete when you don't have a choice
-
David Roberts
How to be concrete when you don't have a choice
David Roberts
11:15 - 12:00
vidéo : <a href="https://youtu.be/nyaNBr9WfCk">https://youtu.be/nyaNBr9WfCk</a>
12:00
Current uses of monoidal categories at the cutting-edge tech end (AI & quantum computing)
-
Bob Coecke
Current uses of monoidal categories at the cutting-edge tech end (AI & quantum computing)
Bob Coecke
12:00 - 12:45
vidéo : <a href="https://youtu.be/5n3jK9Cl2no">https://youtu.be/5n3jK9Cl2no</a>
12:45
Pause déjeuner
Pause déjeuner
12:45 - 14:00
14:00
Treillis de structures et généricité
-
Stéphane Dugowson
Treillis de structures et généricité
Stéphane Dugowson
14:00 - 14:45
vidéo : <a href="https://youtu.be/HDNfusfPuEk">https://youtu.be/HDNfusfPuEk</a>
14:45
A story of action representability
-
George Janelidze
A story of action representability
George Janelidze
14:45 - 15:30
vidéo : <a href="https://youtu.be/Q7SBa8OPBqE">https://youtu.be/Q7SBa8OPBqE</a>
15:30
Représentations des autographes et des autocatégories
-
René Guitart
Représentations des autographes et des autocatégories
René Guitart
15:30 - 16:15
vidéo : <a href="https://youtu.be/kt3hdW7rDiw">https://youtu.be/kt3hdW7rDiw</a>