La definición actual de los topos se remonta a William Lawvere.