Interpretation of homotopy type theory in a minimal quasi-category of spaces – mathoverflow.net
Daniel Bruegmann
Let $\mathcal{C}$ be a minimal quasi-category equivalent to the $\infty$-category of spaces.
(Such a $\mathcal{C}$ is unique up to isomorphism of simplicial sets.)
In particular, equivalent objects of ...