層 圏 トポス 竹内外史
トポスから集合論を作るお話ではないか、と勝手に推測。