Reading Seminar on Types, Categories and Logic, Winter term 2014/15
Goal: Learn the basics of type theory and its connections to functional programming, category theory and logic. Ultimately, the seminar aims at providing the necessary background for the study of homotopy type theory.
Prerequisites: Enthusiasm and interest, but very little mathematical knowledge! Some background in logic and category theory is surely helpful, but we might as well provide it during the seminar. So everyone is welcome to join!
Preliminary program: here Most references as well as some descriptions of talks are missing at the moment and will hopefully be provided later. If you find mistakes or have suggestions for structuring the content differently, please let me know.
Time and place: tba
If you are interested in attending the seminar, just write me a mail to habecker@math.uni-bonn.de
Aktuelles
Cole Prize fĂĽr Jessica Fintzen
Dr. Regula Krapf erhält Lehrpreis der Universität
Prof. Daniel Huybrechts erhält Compositio Prize für die Periode 2017-2019
Prof. Catharina Stroppel erhält Gottfried Wilhelm Leibniz-Preis 2023
Stipendien für Mathematikstudierende aus der Ukraine
Prof. Jessica Fintzen erhält einen Whitehead Prize der London Mathematical Society
Prof. Peter Scholze zum Foreign Member der Royal Society ernannt