??so what _about_ something about ... stuff lawvere says about something about "big vs small topos" (or something .... ???) and something about ... ???certain big topos as slice topos of ... other big topos ... ???or something ???? .... and so forth ... ???.... slice topos of "big topos" over object corresponding to some "space" as big topos of that space ... ???or something ??? .... and so forth .... ????....