BEGIN:VCALENDAR VERSION:2.0 PRODID:-//wp-events-plugin.com//7.2.3.1//EN TZID:Europe/Paris X-WR-TIMEZONE:Europe/Paris BEGIN:VEVENT UID:5997@i2m.univ-amu.fr DTSTART;TZID=Europe/Paris:20220630T110000 DTEND;TZID=Europe/Paris:20220630T123000 DTSTAMP:20241120T200715Z URL:https://www.i2m.univ-amu.fr/evenements/une-methode-calculatoire-pour-l es-adjoints-a-gauche/ SUMMARY:Simon Forest (I2M\, Aix-Marseille): Une méthode calculatoire pour les adjoints à gauche DESCRIPTION:Simon Forest: Les catégories sont\, en toute généralité\, d es objets beaucoup trop gros pour faire l'objet d'un traitement informatiq ue. En effet\, une structure dont les éléments (objets et flèches) ne s ont pas en nombre fini\, voire ne forment même pas un ensemble\, se rédu it en général difficilement à une donnée finie que l'on pourrait donne r en entrée à une fonction calculable.\nA fortiori\, les foncteurs entre catégories sont\, eux aussi\, difficilement encodables. Cependant\, en r estreignant suffisamment les classes de catégories et de foncteurs que l' on considère\, l'espoir est d'obtenir des descriptions finies sur lesquel les on peut alors exécuter des calculs.\nDans cet exposé\, on propose un e 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 consista nt à demander si un foncteur est un adjoint à gauche.\nL’exposé sera retransmis ici :\n  https://greenlight.lal.cloud.math.cnrs.fr/b/lio-hdc- jef\n\n \; ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2 021/01/Simon_Forest.jpg CATEGORIES:Séminaire,Hybrid,Logique et Interactions LOCATION:I2M Luminy - Ancienne BU\, Salle Séminaire2 (RdC)\, 163 Avenue de Luminy\, 13009 Marseille\, France\, X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=163 Avenue de Luminy\, 1300 9 Marseille\, France\, ;X-APPLE-RADIUS=100;X-TITLE=I2M Luminy - Ancienne B U\, Salle Séminaire2 (RdC):geo:0,0 END:VEVENT BEGIN:VTIMEZONE TZID:Europe/Paris X-LIC-LOCATION:Europe/Paris BEGIN:DAYLIGHT DTSTART:20220327T030000 TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST END:DAYLIGHT END:VTIMEZONE END:VCALENDAR