Weihrauch et la topologie

Le but de cet exposé est d’introduire les deux fondements de l’analyse calculable : la théorie des espaces représentés et ses liens avec la topologie, et la réduction de Weihrauch.

J’insisterai en particulier sur le fait que la réduction de Weihrauch est définie grâce à une notion de multifonction continue que l’on ne peut définir que dans la catégorie des espaces représentés. Enfin, je présenterai de nouveaux outils, développés avec Vasco Brattka, pour déterminer facilement la topologie finale d’une représentation.