Simon Forest
I2M, Aix-Marseille
https://www.i2m.univ-amu.fr/perso/simon.forest/
Date(s) : 30/06/2022 iCal
11 h 00 min - 12 h 30 min
Les catégories sont, en toute généralité, des objets beaucoup trop gros pour faire l’objet d’un traitement informatique. En effet, une structure dont les éléments (objets et flèches) ne sont pas en nombre fini, voire ne forment même pas un ensemble, se réduit en général difficilement à une donnée finie que l’on pourrait donner en entrée à une fonction calculable.
A fortiori, les foncteurs entre catégories sont, eux aussi, difficilement encodables. Cependant, en restreignant suffisamment les classes de catégories et de foncteurs que l’on considère, l’espoir est d’obtenir des descriptions finies sur lesquelles on peut alors exécuter des calculs.
Dans cet exposé, on propose une telle description pour une classe assez intéressante de catégories et de foncteurs entre ces dernières. On utilise alors cette description pour fournir une méthode informatique à un problème assez standard consistant à demander si un foncteur est un adjoint à gauche.
L’exposé sera retransmis ici :
https://greenlight.lal.cloud.math.cnrs.fr/b/lio-hdc-jef
Emplacement
Site Sud, Luminy, Ancienne BU, Salle Séminaire2 (RdC)
Catégories