??so what about something about ... ??forgetful geometric morphism from _set_^[_finset_^x] to _set_^x ??? ... something about ... "explicit" understanding of coverings / axioms forming grothendieck topology here ... ?? nice axiomatization of "flat" co-presheaf... or something ... and so forth ... ??...