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.
    • CommentAuthorSkave
    • CommentTimeFeb 5th 2014
    I am aware that to go from an n-category to an (n-1)-category we can truncate the n-morphisms by full truncation or some sort of homotopy. However, is there a construction that goes the other way, that decategorifies from the objects upwards, preserving the higher morphisms?
    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeFeb 5th 2014
    • (edited Feb 5th 2014)

    Since objects in categories are only well-identified up to the equivalences between them, one way to ask what you ask is, I suppose, whether there is a process that takes an nn-category and somehow universally for some knk \leq n turns its rkr \leq k-morphisms into equivalences.

    I am not sure if I have seen this discussed much, but I suppose one may certainly consider it. (One example that vaguely comes to mind is maybe Kan’s Ex functor. )

    • CommentRowNumber3.
    • CommentAuthorDavidRoberts
    • CommentTimeFeb 6th 2014

    If you look at just groupoids, then in spaces (via the homotopy hypothesis) this is the Whitehead tower.

    • CommentRowNumber4.
    • CommentAuthorTobyBartels
    • CommentTimeFeb 6th 2014

    If you focus on one object at a time, then this is looping.

    • CommentRowNumber5.
    • CommentAuthorTim_Porter
    • CommentTimeFeb 6th 2014

    There is an interesting class of simplicial groups that I have wondered about the higher categorical interpretations of their structure. and which may show another aspect of this. The idea is that they are general up to level n and then from that point on each box has a unique thin filler. (This in this context means in the subgroup generated by degenerate elements.) In the case of n= 1 (or 2 depending on how you count!) these simplicial groups have crossed complexes as their Moore complexes. These structures are nested (of course) and the inclusions have left adjoints. Of course, this is not quite what Skave is asking about as these are all ‘groupoids’ but I wonder what the n-categorical analogue might look like. Perhaps the Whitehead tower is related to this, but I am not at all sure. These homotopy types would have trivial Whitehead products from some point on, but possibly a lot of other information could be gleaned from them. The left adjoint would therefore give a universal way of killing the Whitehead products at a given level. (Does that make sense?)