Light Condensed Types
Date:
I participated in the Workshop on Synthetic Algebraic Geometry in 2024. My talk there was recorded and can be found on youtube.
Date:
I participated in the Workshop on Synthetic Algebraic Geometry in 2024. My talk there was recorded and can be found on youtube.