You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Pablo Bustillo Vazquez (May 06 2020 at 14:51):Bonjour tout le monde! Je suis un étudiant belge étant passé par la France pour mes études, et je m'intéresse tout particulièrement à la théorie des catégorie, les catégories infinies, les liens avec la logique et les fondations des math. J'ai pas une très bonne idée de qui est chercheur dans ce genre de domaines en France, Belgique, Québec ou autres zones francophones du monde. Est-ce que vous pourriez m'aider à comprendre qui fait quoi où en francophonie dans ce domaine? Je sais qu'il y a du monde à Louvain, à Paris, à Nice, à Montréal,... Quelles autres villes sont importantes en théorie des catégories? Que font les gens là-bas? Merci de votre aide!
Tim Hosgood (May 07 2020 at 01:21):il y a plusieurs gens à montpellier qui travaille dans le domaine des infinis catégories et des sujets liés
Alexis Toumi (May 07 2020 at 09:11):y'a aussi un seminaire "Catégories supérieures, polygraphes et homotopie" a l'IRIF (Paris 7) https://www.irif.fr/seminaires/cat/index
Alexis Toumi (May 07 2020 at 09:11):je sais que @Amar Hadzihasanovic fait partie du groupe (mais je sais pas si il parle francais)
Tim Hosgood (May 07 2020 at 12:22):le groupe DerSympApp est à montpellier, et bien que ça soit 2/3 géométrie, il y’a quand même le «Der» dans le nom 😉
https://damienespadon.wixsite.com/dersympapp