directed homotopy type theory
(directed enhancement of homotopy type theory with types behaving like ( ∞ , n ) (\infty,n) -categories)
directed univalence
simplicial homotopy type theory
hom type
Segal type
isomorphism in a Segal type
Rezk type
discrete Segal type
covariant type family
contravariant type family
opetopic type theory
Last revised on May 23, 2023 at 14:54:00. See the history of this page for a list of all contributions to it.