skip to content

Department of Computer Science and Technology

Date: 
Friday, 7 March, 2025 - 14:00 to 15:00
Speaker: 
Bastiaan Cnossen, University of Regensburg
Venue: 
FW09, Computer Laboratory

I'll discuss our proposed axiomatization of synthetic categories that allows to develop most of (infinity-)category theory from first principles, without relying on explicit set-theoretic models. We expect that such a synthetic theory can make it easier to practice (infinity-)category theory for non-experts and teach it to beginners; moreover, it lends itself to formalization in proof assistants. This talk is based on ongoing collaborative work with D.-C. Cisinski, K. Nguyen and T. Walde.

Seminar series: 
Logic and Semantics Seminar

Upcoming seminars