Skip to main content
To KTH's start page To KTH's start page

Loïc Pujet: Pre-fascism and the thin blue cubes (part 2)

Time: Wed 2023-09-27 11.00 - 12.30

Location: Albano house 1, floor 3, Room U (Kovalevsky)

Participating: Loïc Pujet, Stockholm University

Export to calendar


This will be the continuation of my seminar from last week. Last time, I explained the construction of Pédrot's "prefascist sets", and to which extent they are a strict replacement for presheaves. Now I will go over their applications, in particular for the construction of internal models for type theory.