Bonjour, Le prochain GdT aura lieu demain matin à 10h30 en B107 ainsi que sur BBB (retour à l'URL habituel, https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j). Faute de meilleure suggestion, je compte expliquer le concept de topos (pré-)cohésif. Je voudrais vous présenter le problème ouvert dans ce domaine que j'avais évoqué lors de la séance d'organisation, mais il y aura également des intuitions généralement utiles sur différents types de topos. --- The next GdT will take place tomorrow morning at 10:30 AM in B107 and also on BBB (return to the usual URL). For want of a better idea, I plan to explain the concept of (pre-)cohesive topos. I would like to present the open problem in this area that I mentioned during the planning session, but there will also be some generally useful insights on different types of topos. See you tomorrow! Morgan
participants (1)
-
Groupe de travail catégories