Mathematisches Kolloquium

Topoi kommen in der Mathematik in zwei Ausprägungen vor, und zwar als elementare Topoi in der Logik und als Grothendieck-Topoi in der Geometrie. In Bereich der Logik stellt ein Topos ein Universum als Verallgemeinerung der Kategorie der Mengen dar; im Bereich der Geometrie stellt ein Topos die Verallgemeinerung eines topologischen Raumes dar. Im Vortrag werde ich diese Ideen vorstellen, beide Sichtweisen zusammenbringen und in diesem Zusammenhang erklären, was das Besondere an konstruktiver Mathematik ist. Am Ende werde ich Ergebnisse aus meiner Arbeitsgruppe vorstellen, die aus Anwendung der Theorie auf die algebraische Geometrie hervorgegangen sind.

Donnerstag, den 28. November 2019 um 17.15 Uhr, in INF 205, HS Mathematikon Donnerstag, den 28. November 2019 at 17.15, in INF 205, HS Mathematikon

Der Vortrag folgt der Einladung von The lecture takes place at invitation by Prof. A. Schmidt