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.
    • CommentAuthorjoe.hannon
    • CommentTimeJul 21st 2013

    At simplicial category, three meanings for the phrase are mentioned: the simplex category, a simplicial object in Cat, or an sSet-enriched category. Then at enriched category#examples, the phrase is apparently used to describe a category internal to sSet. Is this term overloaded a fourth time?

    By the way, what does it mean for a simplicial set to be discrete? All the cells above 0 are degenerate?

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeJul 21st 2013

    A category internal to sSet is actually the same as a simplicial object in Cat! I’ve added a remark to this effect.

    Yes, “discrete” means that all higher simplices are degenerate, or equivalently that it is constant as a functor to Set.

    • CommentRowNumber3.
    • CommentAuthorjoe.hannon
    • CommentTimeJul 23rd 2013

    Thank you, sir. That is a fun surprise.