Directed univalence for simplicial objects in an $\infty$-topos | Digital Library | PAMCET | PAMCET