Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
have split off semi-simplicial object from semi-simplicial set.
added a link to Voevodsky’s Coq-formulation of semisimplicial homotopy types:
I have added more items to the list of References at semi-simplicial object on the formulation in homotopy type theory. The last one just appeared today.
(This is for people around me who keep asking me about it, but who are not following the UF-IAS mailing list. )
I seem to remeber that we have had this discussion elsewhere already. If you or somebody points me to a paragraph on the history of the terminology, I’ll volunteer to copy-and-paste it into the entry.
Ah, of course it’s over at semi-simplicial set, see the History section there.
1 to 6 of 6