#HoTT semi-simplicial types

https://ncatlab.org/homotopytypetheory/show/semi-simplicial+types

https://arxiv.org/abs/1506.04998

https://www3.nd.edu/~wgd/Dvi/SimplicialLocalizations.pdf

Advertisements
This entry was posted in homotopy type theory. Bookmark the permalink.