??try to make this more intelligible ... ???....


locally finitely presentable ???_free_(??) filteredly-cocomplete ???.... ??something about ... ??trying to straighten out ... something about stuff that todd pointed out about ... ???locally finitely presentable categories and so forth, in connection with topos associated to filteredly-cocomplete category ...


??sa property-ishness of topos being torpos ... ??... ???something about whether arbitrary geometric morphism between torposes gives tag morphism ... ???and so forth ??? ... ???hmmm, what about even (...) in "affine" case ??? ....

???so what about something about ??some sort of "generalized gabriel-ulmer duality" (os ...) stuff going on here (...), in light of ... ??maybe somewhat straightening out bit about getting topos from filteredly-cocomplete category ... ??? os... asf os...


???mention to todd idea that ... ??"slice topos" approach to articulating geometric theory embodied by accidental topos of toric variety ... that we thought about a bit but didn't get too far with ... should now fit somewhat nicely with stuff about .... filteredly cocomplete category with objects corresponding to cones of toric variety's fan ... and so forth .... ???...