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
News
Bonn mathematics performs excellently again in QS ranking
Stefan Schwede is invited speaker at the ECM 2024 in Sevilla
Jessica Fintzen wins Cole Prize
Regula Krapf receives university teaching award
Catharina Stroppel joined the North Rhine-Westphalia Academy for Sciences and Arts
Daniel Huybrechts receives the Compositio Prize for the periode 2017-2019
Catharina Stroppel receives Gottfried Wilhelm Leibniz Prize 2023
Grants for Mathematics students from Ukraine
Jessica Fintzen is awarded a Whitehead Prize of the London Mathematical Society
Peter Scholze elected as Foreign Member of the Royal Society