[some brief notes from a week or so ago ... copied from elsewhere ... ??actually interesting to compare to further developments here .. ??..]

??something about "cocycle" ... "kan extension" ... "structure/semantics adjointness" ... "globalization/localization" .... ??? ??something about also "formalization" here??? (??as maybe dual to "localization" in certain sense ... ????...) ...

???something about ... ??what happens to fixed points (and so forth ...) of globalization/localization adjunction when latter degenerates into something like "cohomology theory" ... ??and so forth ... ???....