first cat th conf talk ....

proj geom=dim analysis, baez scattering example, lawvere on "theory" and beck on "doctrine" (somewhat resp ...), big program, toric special case, perhaps simplest non-presheaf grothendieck topos, ab gps therein as quasicoherent sheaves over projectiv line .... ?????.....

?? millions of other things to fit in there ... tannakian philosophy ... other nice simple moduli stack examples : line, line embedded in 3-space, lie alg decomposed into n-tuple of lines, cuboquadratic algebra ... ; doctrine as 2-topos, line bundle = line object = dimension, graded comm algs of homogeneous quantities ...

?? distinguish between "synth proj geom" and "analytic/algebraic proj geom" ??? ... though cross-doctrine relationships .... ????? ...

?? impractically long, of course .... ??? ...

?? second ??? ....

?? rep th and cat th conf talk ???? ....

??? kaleidoscope fan and rolling ball animation ... ?? _if_ this really fits together .... ????..... ?? kaleidoscopic toric variety as (sort of ...) schubert variety .... ????? ...... ?? conclude with propaganda about ... ??? doctrine philosophy (or something ...) tying quasi-schubert varieties to conference topic "rep th and cat th" .... ??????? .....

?? "invariant distribution" .... ?? higher-order ???? ..... b2 ... penrose diagram ... gimbal/axis .... ???? ....

?? long root subalgebra ... ??? ...