??what about something about "epsilon-treed topos" ... ??or something ... and so forth ...

??forcing ...

??snow-globe ... ??...

"model of set theory" vs "theory ..." ... ???...

??consider models of the category classifier... and morphisms between those models ... ??and then some sort of morphisms between those ???....

??something about natural transformation classifier and so forth??...

??what _about_ gray's "formal category theory" ?? ... and so forth ... ??...