Garben und Logik 26/30: Geometrische Morphismen, Punkte von Topoi und Logik höherer Ordnung
Channel: Lehrstuhl Algebra und Zahlentheorie, Uni Augsburg
Date: 01/02/2018

Vorlesung zu Garben und Logik von Ingo Blechschmidt an der Universität Augsburg (Lehrstuhl für Algebra und Zahlentheorie)

Unterlagen zur Vorlesung: https://gitlab.com/iblech/garben-und-logik

Vielen Dank an das Team vom Videolabor der Universität Augsburg für die Aufzeichnung und Nachbereitung: https://ml.phil.uni-augsburg.de/service/av-mediendienste/