Notions of topos