A sheaf valued in spaces (homotopy types) rather than sets.