1 preamble ... imperfection .... ???? ....
2 dimensional analysis example ...
3 audience torture quiz : how to translate into projective algebraic geometry ? .... 2 key ingredients in particular ...
4 quiz answer
5 how to understand quiz answer .... two formal approaches ...graded commutative algebra vs (much more interestingly...) "dimensional category" .... sort-of equivalence between the two approaches ...
6 what's so interesting about lawvere's approach (the dimensional category approach), namely how it makes projective algebraic geometry (?? and in fact algebraic geometry more generally) into a branch (?? ...) of "categorical logic" .... in sense of study of structured categories .... moduli stack of models .... ???? ..... ???? "state of affairs" .... ?? .... "theory with free parameters" .... ??? ..... ?? inspired by idea of "physical theory" as well as of "logical theory" .... ?? .... ????? tannakian program ..... ???? ..... ?? message to "categorical logicians" in general .... ???? .....
7 interpretations of tannakian program ....
???? graded commutative algebra and "torus-equivariant affine algebraic geometry" ??? ....
No comments:
Post a Comment