??so... ??at the moment i'm imagining that there's some nice way of getting from an ag theory to a "dg scheme" ... or something like that... ???hmm, i guess actually from something like... a family of models of a dg theory... (??something about "groupoid object" ... ???in where????.... ??hmm, suppose that family is parameterized by model spectrum of another ag theory ... where models may be non-rigid ... ??? ... ??and so forth ???...) to a dg scheme ... ???but ... ??is this going to be as "interesting" as i'm sort of hoping?? ???something about ... ??ag theory as only a groupoid, rather than a higher groupoid .... ????hmmm, but on the other hand maybe something about ... ??topological groupoid as giving arbitrary htpy type ... ???.... ???still confusing here????.....

???rational homotopy theory of a dg scheme / space .... ???....

???....


??ao what _about_ that "reverse engineering" approach that i took??? .... hmmm ... ???... ????....


???so what _about_ dgla vs dgca ??? ..... and so forth .... ???making some sense now ??? ..... ????..... hmmmm .... ?????? .....

???so what _about_ "higher obstructions" ... ???... and so forth .... ???? .....
????? ???... ??_not_ quite making sense yet, but maybe should ??? .... ??something about grading vs filtration ... ??? ???something about forgetting grading ... "super-geometry" ... ??"spectrum of cohomology ring" ... ...kleinian singularity ... ??? and so forth ... ???.... ?????..... and so forth .... ????....

???hmmm... ???so what abotu something the way a perfectly ordinary group, finite for example, may have higher cohomology ??? .... ???... hmmm... ???... ???also something about "bar construction" here??? .... and so forth ... ??? ??something abot "etale fundamental group" and so forth ??? .... ????....

??still lots of confusion here... ???discrete vs codiscrete ... ??isomorphism vs path ... ??bundle vs bundle with connection .... "moduli space/stack" vs "classifying space/stack" ... ???? .... and so forth ... ???something about de rham dgca and fundamental infinity-groupoid ... and so forth ... ???....

??something about leray-serre and "cohomology with coefficients in a shef of cohomology groups" and so forth.... ??something about certain factorization of geometric morphisms... something about "codiscrete ..." here ... ???.... and so forth ... ????....

???something about "why deformations can be expressed (or something...) in terms of cocycles of some sort; that is, in terms of something that in principle is homotopy-theoretic??" ... ????....


???is there some idea here that... ????when you're "doing deformation theory at a scaling limit" (??or "multi-scaling limit" or something???) (??or something????), you should be... ???thinking of the tangent cone as the substrate for a projective (?or multi-projective??...) variety ... ???or something??? .... and so forth ... ???? ???or something?????..... ??hmm, maybe there _is_ something like this??? seems like i was leanign in that direction myself... ???...though... ???maybe not very clearly spelled out... ???can't remember anyone else offhand describing it this way??? ??or any other similar way??? .... ??hmmm, or maybe... ???maybe there was some way of thinking about this stuff that did fit naturally with... ???something about whole complex of ideas connected with...???associated graded object of ideal power filtration, intepreted as something about "normal bundle"... and so forth ... ???or something ????.... ???something about ..."tangent space" (??and/or more general sort of "infinitesimal analysis" / "renormalization" ???...) at point of "stack" .... ????....



??what _about_ macroscopic dgca here???.... not settling for tangent cone ... ???what _about_ relationship between "formal" and "conical" and so forth ???? .....