??so what about topos t for which comparison geometric morphism from/to (???) [t' given by filteredly cocontinuous set-valued functors on the classical model category of t] is _not_ an equivalence?? ??also what about "non-toric analog" here??

(??"non-toric analog" of lots of things as big theme for next discussion with todd? ...)

??when is the category of filteredly cocontinuous functors on a category c no more than "ordinarily big" ??? .... and so forth ...