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
Abstract
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.