https://123dok.net/document/y96ro17v-the-directed-homotopy-hypothesis.html