Directed univalence in simplicial homotopy type theory

Documenti analoghi

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