??so what about stuff about flat modules and the "abelian diaconescu's theorem" (and so forth) vs stuff about... ???how in "the derived world" (and so forth...) the relationship between homotopy limits and homotopy colimits is especially simple... or something... ??? ...

...doctrines.... ??...