?? show that nice (??) topos corresponds to nice (??) filteredly cocomplete category, and that .... in sufficiently nice case subtopos corresponds to sub-[filteredly cocomplete category], and that ... ??? in "toric" case it's hopefully more or less obvious that subcategory being closed under filtered colimits implies "compatibility with (?? binary ?? ...) tensor product" .... ??? ... ??? ....