BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:The Yoneda lemma for the working mathematician
DTSTART:20230612T083000Z
DTEND:20230612T103000Z
DTSTAMP:20260504T095700Z
UID:indico-event-9982@indico.math.cnrs.fr
DESCRIPTION:Speakers: Luca Francone (ICJ)\n\n"Vous travaillez dans un acc
 élérateur de particules et vous voulez comprendre une particule mystéri
 euse. Tout ce que vous pouvez faire\, c'est lui envoyer d'autres particule
 s et voir ce qui se passe. Si vous comprenez les interactions avec toutes 
 les particules test possibles à toutes les énergies test possibles\, alo
 rs vous savez tout ce qu'il y a à savoir sur votre particule mystérieuse
 ". C'est ainsi que Ravi Vakil explique le lemme de Yoneda dans son cours d
 e géométrie algébrique.Le lemme de Yoneda est un résultat assez simple
  de la théorie des catégories\, mais en même temps c'est probablement l
 e couronnement de cette branche des mathématiques\, à la fois pour ses a
 pplications et sa signification philosophique. On peut dire que le lemme d
 e Yoneda est un état d'esprit dans la façon dont nous abordons les math
 ématiques\, et il est frappant de voir combien de fois nous utilisons le 
 "Yoneda état d'esprit" depuis nos premiers cours de licence sans le savoi
 r. Dans ce séminaire\, qui s'adresse aux mathématiciens qui n'ont aucune
  connaissance en théorie des catégories\, nous allons expliquer ce résu
 ltat et voir quelques-unes de ses nombreuses applications. Nous allons pr
 ésenter certains résultats que vous connaissez par coeur sous une perspe
 ctive différente et nous allons clarifier le sens d'expressions comme "pr
 opriété universelle".Remarque: je ne suis pas un théoricien des catégo
 ries\, et ce séminaire n'apportera rien à ceux qui connaissent déjà le
  lemme de Yoneda\, si ce n'est pas le plaisir de revoir l'un des plus beau
 x théorèmes des mathématiques."\n\nhttps://indico.math.cnrs.fr/event/99
 82/
LOCATION:Salle Fokko Du Cloux (ICJ)
URL:https://indico.math.cnrs.fr/event/9982/
END:VEVENT
END:VCALENDAR
