Our preprint Simple Type Theory is not too Simple: Grothendieck's Schemes without Dependent Types just appeared on the arXiv. Feedback welcome.
Last updated: May 18 2024 at 20:16 UTC