Karol Szumilo
Here is a list of talks given by Karol Szumilo at the Australian Category Seminar. Click on the title of a talk for an abstract.
- Internal Language of Higher Categories (part 2) – 29 November 2017
- Internal Language of Higher Categories (part 1) – 22 November 2017