Post #1506841

@cbaberle - Hi! For some reason this line doesn't compile when I'm reading your blog: \require{AMScd} \begin{CD} \mathfrak{F}[X] @>X \mapsto n>> N \\ @VX \mapsto X^{-1}VV @vvv \\ \mathfrak{F}[X, X^{-1}] @>>> N[n^{-1}] \end{CD} This stuff is interesting. I don't know if anyone has gone much further than Durov in doing actual hard-core algebraic geometry with finitary commutative monads. The "frameworky" stuff is a lot of fun, but then I'd like to see it applied. (Not that I'm very good at algebraic geometry, mind you!)