Reading Seminar on Types, Categories and Logic, Winter term 2014/15

Hanno Becker

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