ByNobleID
    An explicit comparison between $2$-complicial sets and $\Theta_2$-spaces | NobleID