The slides for Kyle Thompson’s talk, Sheaves and the Serre-Swan Theorem and Kit Liu’s talk, Structural Set Theory in Foundations can be found at the links below:
Sheaves and Serre-Swan Slides
Sheaves and Serre-Swan; Structural Foundations
The slides for Kyle Thompson’s talk, Sheaves and the Serre-Swan Theorem and Kit Liu’s talk, Structural Set Theory in Foundations can be found at the links below:
Related