Please note that this newsitem has been archived, and may contain outdated information or links.
4 March 2022, DutchCATS, Andrew Swan
Speaker: Andrew Swan
Title: Definable and non definable notions of structure
Date: Friday 4 March 2022
Time: 16:00-17:00
Location: Online
The Dutch Categories And Types Seminar is an inter-university seminar on type theory, category theory, and the interaction between these two fields. It provides a forum for discussion, collaboration, and dissemination to researchers in type theory and category theory working in the Netherlands.
For more information, see
https://dutchcats.github.io
or contact Benno van den Berg at bennovdberg at gmail.com.
Please note that this newsitem has been archived, and may contain outdated information or links.