??something about ... ??relationship between [relationship between toposes and filteredly cocomplete categories ...] and "semantics / syntax adjointness" ... ??mention to todd??...

??also something about ... ???possible problem here with ... ???something about ... ???whether model cat of topos is small-ly generated or something??? ...???what _about_ whether adamek & rosicky (...) deal with this in some interesting way ??? ...