lot of topics ... not sure where to start ...
1 ??? "accidentalness" of topos as property ?? ... (?? clarify meaning of "property" here ... ?? ??vs structure, stuff, ... ??? ... ?? (2,1)-cat vs (2,0)-cat ... ??) ?? start by taking double negation subtopos ?? ... ??? "naive geometric interpretation" of objects in resulting boolean topos ... ??? ....
(?? maybe other places where we've run into booleanness lately?? ... ??or maybe that was secretly more or less just this ... ???)
2 ??? maybe discuss some of martin's questions ??? ....
3 ???homotopy type of accidental topos ... ??? make it clear that i'm not sure yet where we might go with this ... ???..... ??? TAG structure ... ??? ... ??? toric ideal class group ??? .... ??maybe see this ?? ...
4 maybe this stuff or this ... or this ...
5 ?? any follow-up from last time ??? .... ??which i guess was sort of about mysteries of "flatness" and "combined doctrine" ... ?? ... ?? sort of approached in certain way ??? ... ?? last (??) "this" above as maybe somewhat different approach ?? .... ?? other approaches ... ??again, probably good to be clear how i'm flailing aorund here ... ??? taking seriously trying to understand universal properties of theories in combined doctrine ..... ???? which i guess would more or less include stuff like this ...
No comments:
Post a Comment