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.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • 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)