Observe que la noción de Lawvere, inicialmente llamada topos elemental, es más general que la de Grothendieck, y es la que hoy en día se llama, simplemente, "topos".