News
New Homework
Written on 20.05.2022 16:08 by Michael Sammler
Hello everyone,
the new homework is available on the materials page now. The recording of the lecture today will follow shortly. Enjoy!
Category Theory
Derek Dreyer, Andrew Hirsch, Jan Menz, Michael Sammler