nLab
Rezk type
Context
Directed homotopy type theory
Contents
Definition
In simplicial type theory, a Segal type is a Rezk type if for all elements and there is an equivalence between the identity type and the type of isomorphisms in a Segal type :
where
References
Last revised on May 21, 2023 at 13:27:29.
See the history of this page for a list of all contributions to it.