A model for the coherent walking $\omega$-equivalence

Amar Hadzihasanovic, Félix Loubaton, Viktoriya Ozornova +1

We prove that a certain $\omega$-category, which was constructed in previous work by the third and fourth author, is a model for the fully coherent walking $\omega$-equivalence. Further, app…