Background and genesis of topos theory