??? after doing "frankenstein" stuff, do arnold-style anti-frankenstein rant .... ???? ..... ?? loss of stackiness .... ??? ......
?? "... not always sure whether i agree with one of arnold's rants ... because it's difficult to be sure what he's really ranting about ... but i think that i agree with this particular rant ..." ... ??? ....
?? multi-object vs one-object symmetric monoidal category here ... ???
?? double negation topology as corresponding to torus ....
?? good news that toric varieties is easy part of algebriac geometry to learn about ... ?? ...
?? "for extra credit, example should be of independent mathematical interest" ... ??? ...
???? back to worrying about extent to which "toricness" is mere property of topos ?? .... ??? .....
?? something about presheaf toposes as more or less one of the topos theory viewpoints that johnstone mentions joyal as listing ... ??? ....
?? refer to talk day before discussing "essential" stuff .... "counterpoint" ... ??? ... ??? might it even impinge on non-presheaf topos puzzle ???? ..... ?? maybe in good way ?? ... "simplest example of topos not of this kind ?" ... ??? ....
?? "essential" ... "filteredly cocontinuous" .... ???? ....
?? discuss idea of ... ???? non-quasicoherent : quasicoherent :: formal lax colimit : formal weak colimit .... ??? ....
?? lawvere's "algebraic geometry = geometric logic" slogan ... ??? ...
No comments:
Post a Comment