Tuesday, March 8, 2011

notes for next discussion with todd

??try to concentrate on "doctrines of toric algebraic geometry" ...

??what about something about?? ... idea that "canonical grothendieck topology" idea here... something about "best topos approximation" or something... ??might be peculiar here because of nature of doctrine ... ??or something ???....

??something about "boilerplate" idea ... ??...

??something about whether "k-linearization" process connects the two doctrine ladders in the intended (or something...) way?? ... ???....

??something about "viable sub-lizard" approach to grothendieck (and/or lawvere-tierney...) topology ... ???....






??puzzle about "minimalistic syntax" ??? ??save for end?? ... ??or something ???....

No comments:

Post a Comment