Homotopy Type Theory
simplicial type > history (Rev #1)
Definition
A simplicial type is a type family from the opposite category? of the simplex category to the universe . The type of simplicial types in a universe provide an internal model of cohesive homotopy type theory.
See also
Revision on May 2, 2022 at 00:49:01 by
Anonymous?.
See the history of this page for a list of all contributions to it.