Not signed in (Sign In)

# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Sign in using OpenID

## Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeNov 23rd 2012
• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeNov 27th 2012
• (edited Nov 27th 2012)

added a link to Voevodsky’s Coq-formulation of semisimplicial homotopy types:

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeMar 19th 2013
• (edited Mar 19th 2013)

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. )

• CommentRowNumber4.
• CommentAuthorjim_stasheff
• CommentTimeMar 20th 2013
Please add a comment on the history of the name
CSS= complete semi-simpliical to semi-simplicial to simplicial
then dropping the degeneracies back to semi-simplicial.
Alternative: facial simplicial
• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeMar 20th 2013
• (edited Mar 20th 2013)

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.

• CommentRowNumber6.
• CommentAuthorUrs
• CommentTimeMar 20th 2013

Ah, of course it’s over at semi-simplicial set, see the History section there.

Add your comments
• Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
• To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

• (Help)