Dutch Categories And Types Seminar

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.

Mailing List

We maintain a mailing list for discussion of everything related to categories and types, and for coordination of our meetings.

Informal workshop on Algebraic Weak Factorisation Systems, 2 May 2022

Program

Abstracts

Abstracts can be found here.

Location

The meeting is going to take place in the Science Park, Amsterdam, in Building 904, Room A1.04 (see the campus map).

Fourth Meeting: Zoom, 8 April 2022

Norihiro Yamada: Curry-Howard Isomorphisms without Commuting Conversions

Third Meeting: Zoom, 4 March 2022

Andrew Swan: Definable and non definable notions of structure

Second Meeting: Zoom, 4 February 2022

Julia Ramos Gonzalez: Exponentiable Grothendieck abelian categories and algebraic geometry

Inaugural Meeting: Amsterdam, 27 October 2021

Program

Registration

Registration is free of charge, but mandatory. Please register via this Google Form.

Location

The meeting is going to take place in the Science Park, Amsterdam, in Building 904, Room B0.209 (see the campus map).

Organizers