a lot of scattered notes lying around... might not manage to incorporate everything here...
??something about ... ??extent to which "locally (k- ?? ...??or something ?? ...) presentable (n,1)-category" works same / as nicely for n = 2 and/or infinity and so forth as for 1 ... ??? ....
?? sa doctrine interpretation and (2,1)-sketch...
??something about pun on "local presentation" and "locally presentable" ??? ....
??examples of doctrine interpretations...
finitely cocomplete k-linear to abelian ... ??sa "abelian diaconescu theorem" ...
dimensional theory to ag theory...
finite products to finite limits...
finite limits to geometric ...
??and so forth ...
??bit about quasicoherent as sort of analgous to "atomic" (or something ...) object in commutative monoid ??? .... and so forth ... ???....
???sa ringed topos ct "stack" ... ????os... ???asf os...
??sa possible misunderstanding with carchesi ?? os??? ... asf os... ????....
??????sa.... ??? (2,1)-full-and-faithfulness (or otherwiase... asf os...) of certain passage or passages from ag theory to ringed topos ... ???os??? ... asf os... ????
No comments:
Post a Comment