[[!redirects semi-simplicial types]] [[!redirects semisimplicial types]] < [[nlab:semi-simplicial types in homotopy type theory]] category:redirected to nlab