導来圏は空間の上部構造?