Monday, April 4, 2011

??so what about idea that "toric small zariski topos" maybe isn't good terminology for what we've been using it for recently .... ????....

??but then what about analogy "quasicoherent" : "toric quasicoherent" :: "non-quasicoherent" : "toric non-quasicoherent" ??? ... ???and so forth ?? ...

???hmmm, something about ... "extremal way of cutting and pasting" and so forth ??? ??try to formalize this?? .... and so forth ... ????....

???something about ... ???start with pre-sheaf ... ????and so forth ???? .....

??maybe ... ???start with sheaf ... as object of topos ... and try to get locale from it ... ???and so forth ???? ......

???doesn't this feel like a lot of stuff that we tried which didn't seem to work ??? ... and so forth .... ???hmmm... ??maybe some stuff that we didn't try ... ????....

???something about big zariski topos of x as slice topos of big zariski topos of 1 ... ???and so forth ... ???something about how small zariski of x might be encoded in here (...) ... ??? ... and so forth ... ???...

No comments:

Post a Comment