??vague feeling about ... ??this alleged comonad on the (2,1)-cat of cocomplete categories... and ... ??creating category of quasicoherent sheaves and/or maybe just plain old sheaves as (2,1)-colimit / "(2,1)-left-kan-extension" / "globalization" / "glueing" .... ???and ... some of urs's stuff .... ???? ..... ???? ???and other stuff???


?? "disjoint coproducts" as sort of "distributivity" ??? .... ???? .... ?? ... morphism into coproduct of s-indexed discrete (?? ...) family as ess ... ????? ..... s-tuple of slice category objects ... ??? .....

??? .... ???....

??glueing / globalization over non-distributive lattice ??? .... ??? ....