??so, temporarily assuming that the comparison morphism from a topos t to the topos corresponding to its filteredly cocomplete category of t-models isn't always an equivalence ...

is there some nice way to recognize when a grothendieck topology gives a topos t for which the comparison morphism _is_ an equivalence?? ... ??...