Comments on the Development of Topos Theory