Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Little page to focus on this important notion, as opposed to the general remarks at walking structure.
This should be tied in or amalgamated with interval groupoid, which is a redirect for (and section of) interval category.
Yes, I agree. I will attempt something now, and then others can refine if needed.
Adding redirect for ’interval groupoid’, and adding remark that the walking isomorphism is the free groupoid on the walking arrow, which was previously at interval category.
Noting various 2-categories which categorify it. I will add the walking 2-isomorphism later, which I am intending to use at Lack fibration; run out of time for the moment!
Actually what I wish to use at Lack fibration is something with trivial boundary, i.e. only one object and only identity 1-arrows, and exactly two non-identity 2-arrows which are the inverses of a 2-isomorphism (I think the horizontal composites are dictated by the interchange law to be the identity then). This is not really the walking 2-isomorphism, in that it does not represent 2-isomorphisms. Let me know if you have a suggestion for alternative terminology!
I have a question about the nerve of the walking isomorphism.
Let be the subsimplicial set that is the image of the nondegenerate -simplex starting from vertex .
I’m pretty sure that for , is supposed to be a categorical equivalence of simplicial sets (i.e. a weak equivalence in the Joyal model structure for quasi-categories), and I know that the inclusion is left anodyne, being the pushout of . (and therefore is left anodyne)
Are the inclusions inner anodyne? I thought I’ve worked out once that they are but I can’t reconstruct the argument, and the only references I can find at the moment on related issues are in terms of an analysis of the construction via left anodyne maps.
I can’t see how to prove that is inner anodyne. However, observe that, if , it does have the left lifting property with respect to all inner fibrations between quasi-categories, by Joyal’s lifting theorem. Since is a quasi-category, it follows that is inner anodyne, for .
Now that I’ve written out my question, I (think I) was able to remember my argument, and where my memory about the conclusion went wrong. Basically, it involved taking the pushout along a monomorphism of a splitting of an inner anodyne map, so I was only constructing trivial cofibrations in the Joyal model structure, not inner anodyne maps.
@Richard #7
Actually what I wish to use at Lack fibration is something with trivial boundary, i.e. only one object and only identity 1-arrows, and exactly two non-identity 2-arrows which are the inverses of a 2-isomorphism
Isn’t this ? It has a unique object, a unique 1-arrow, and three 2-arrows. You can think of the latter as being under addition, if you like.
Added a reference:
A generalization of the notion of the interval groupoid to simplicial groupoids is considered in
and plays a key role in the discussion of the model structure on simplicial groupoids, see there.
1 to 17 of 17