(?? categorified ...) presentations of filteredly cocomplete categories ...

?? seems like easy to do lots of calculations with them .... ?? already seems to help to (??near-)confirm conjecture about toric map where inverse image preserves affineness ... ??? .....

?? factorization systems here ...

?? theory (?? in various sufficiently rich doctrines ??) of filteredly cocontinuous functor from filteredly cocomplete category x .... ?? duality games here ??? ... ??? ... ??? .....