??so what _about_ _set_ as schizophrenically both topos and filteredly cocomplete ?? ... and so forth ... ???_is_ the (...) (2,1)-adjunction here a (2,1)-equivalence ?? ... and so forth ... ???seems unlikely both ways??? (what did we mean by that??? ...???) .... ???does seem likely that _filteredly cocomplete cat_ is a reflective sub-(2,1)-cat of _topos" ??? or what??? ... and so forth .... ????....

???so something about ... ???how certain recent alleged straightenings-out affect "torpos" idea, and/or "frankenstein doctrine" idea??? ... and so forth ... ???maybe former survives better ??? but still ... ???something about ... ???is idea about "torus object" in torpos completely screwed up now ??? .... and so forth ....