Stream: Announcements

Topic: schemes


view this post on Zulip Anthony Bordg (Apr 20 2021 at 07:23):

Our preprint Simple Type Theory is not too Simple: Grothendieck's Schemes without Dependent Types just appeared on the arXiv. Feedback welcome.


Last updated: Jan 25 2022 at 01:11 UTC