Not signed in

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

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorSkave
   • CommentTimeFeb 5th 2014
   • PermaLink
   Author: Skave
   Format: TextI 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?

   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?
2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeFeb 5th 2014
   • (edited Feb 5th 2014)
   • PermaLink
   Author: Urs
   Format: MarkdownItexSince 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 $n$-category and somehow universally for some $k \leq n$ turns its $r \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 fibrant replacement|Kan's Ex functor]]. )

   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 $n$-category and somehow universally for some $k \leq n$ turns its $r \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. )

3. • CommentRowNumber3.
   • CommentAuthorDavidRoberts
   • CommentTimeFeb 6th 2014
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexIf you look at just groupoids, then in spaces (via the homotopy hypothesis) this is the [[Whitehead tower]].

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

4. • CommentRowNumber4.
   • CommentAuthorTobyBartels
   • CommentTimeFeb 6th 2014
   • PermaLink
   Author: TobyBartels
   Format: MarkdownItexIf you focus on one object at a time, then this is [[looping]].

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

5. • CommentRowNumber5.
   • CommentAuthorTim_Porter
   • CommentTimeFeb 6th 2014
   • PermaLink
   Author: Tim_Porter
   Format: MarkdownItexThere 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?)

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