http://mathoverflow.net/questions/24900/a-sketch-of-esquisse-dun-programme
nLab page on Grothendieck Esquisse