??? gabriel-ulmer duality as .... ??? "entire spectrum determined (?? in particular straightforward way) by global models" ..... ?????? .....

?? maybe just side-effect .... ???? since there _are_ more general theories for which pretty much same way works .... ????? ...... ?????? ..... hmmm, model category closed under directed colimits (?? and in nice way ... ??? ...), vs under more general colimits (and in nice way ... ??? .....) .... ?? and / or "alexandroff theory" ... ??? and / or "generalized alexandroff" .... ???? ....presheaf as sheaf .... ????? ..... ???? ....

???? "global suffices" .... vs ..... ????? ...... ???? .... presheaf (vs sheaf) as aspect of this vs as inimical to it ??? ... maybe not inimical; maybe it's just sheaf that's inimical ..... ????? ..... but sheaf as presheaf .... ???? .....