Homotopy Type Theory
simplex category > history (changes)
Showing changes from revision #2 to #3:
Added | Removed | Changed
Definition
< simplex category
The simplex category of a universe is the category of all inhabited finite totally ordered types in whose hom types are the monotonic functions.
See also
Last revised on June 10, 2022 at 17:05:13.
See the history of this page for a list of all contributions to it.