Lawvere on "Grothendieck and the concept of space"