News
Lecture today (6.5.) starting 10 minutes late
Written on 06.05.2022 09:47 by Michael Sammler
Hi everyone, the lecture today (6.5.) will start roughly 10 min late (i.e. around 10:10) due to a delay.
Category Theory
Derek Dreyer, Andrew Hirsch, Jan Menz, Michael Sammler