⏚ Antoine Chambert-Loir on Nostr: nprofile1q…fw8t5 What I mean is that there are whole alg. geometry books written in ...

nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyry2ysn5av9pr8m76kgpggcflz294t0pr9shd99kh8redys7ku0xkefw8t5 (nprofile…w8t5) What I mean is that there are whole alg. geometry books written in the language of toposes (Illusie's Complexe cotangent, for example, is like that — Let R be a ring in a topos and M be an R-module, etc.) where LEM would not necessarily hold, and, as far as I remember, the results of topos-theoretic commutative algebra that are supposed to remain valid are assumed without notice.