Describe simplicial sheaves and the Jerusalem machine.
Homotopy type
nLab page on C40 Homotopy types of schemes