Directed univalence in simplicial homotopy type theory

Documents similaires

• The Yoneda embedding in simplicial type theory
  par: Gratzer, Daniel, et autres
  Publié: (2025)
• Generalized Chevalley criteria in simplicial homotopy type theory
  par: Weinberger, Jonathan
  Publié: (2024)
• On the $\infty$-topos semantics of homotopy type theory
  par: Riehl, Emily
  Publié: (2022)
• Internal sums for synthetic fibered $(\infty,1)$-categories
  par: Weinberger, Jonathan
  Publié: (2022)
• Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
  par: Weinberger, Jonathan
  Publié: (2022)