Showing changes from revision #0 to #1:
Added | Removed | Changed
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.