??so what about some sort of "homotopy theory" / "simplicial" interpretation of globalization/localization adjunction ?? ... ??or something ?? ...

??something about semi-mysterious reference to derived functors as "original" (??or something?) example of kan extension in mac lane's "categories for the working mathematician" ... ??did we ever figure anything interesting out about what that was about ??? ...

??something about ... ???cohomology (of something ... ??...) as something about homming ... ???... and so forth ... ????.....