Not signed in (Sign In)

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.

    • CommentRowNumber7.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJan 31st 2021

    Redirect: category of semisimplices.

    diff, v8, current

    • CommentRowNumber8.
    • CommentAuthorDmitri Pavlov
    • CommentTimeFeb 3rd 2021

    Redirect: semisimplicial.

    diff, v9, current

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeJun 25th 2021
    • (edited Jun 25th 2021)
  1. The links in the homotopy type theory subsection of the references section are no longer available, because Wikispaces shut down in 2019.

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeJul 13th 2023
    • (edited Jul 13th 2023)

    have recovered the references (via WaybackMachine) and uploaded to the nLab server (now here)

    diff, v12, current