Two talks on the syntactic site , and the classifying topos of a geometric theory.Date: November 15, 2023Share on Bluesky Facebook LinkedIn X (formerly Twitter) Previous Next
