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
Bonner Mathematik schneidet bei QS-Ranking wieder hervorragend ab
Stefan Schwede eingeladener Sprecher auf dem ECM 2024 in Sevilla
Cole Prize für Jessica Fintzen
Regula Krapf erhält Lehrpreis der Universität
Catharina Stroppel in Nordrhein-Westfälische Akademie der Wissenschaften und Künste aufgenommen.
Daniel Huybrechts erhält Compositio Prize für die Periode 2017-2019
Catharina Stroppel erhält Gottfried Wilhelm Leibniz-Preis 2023
Stipendien für Mathematikstudierende aus der Ukraine
Jessica Fintzen erhält einen Whitehead Prize der London Mathematical Society