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.
    • CommentAuthoramg
    • CommentTimeApr 3rd 2016
    • (edited Apr 3rd 2016)

    In a seminar I’m teaching, I wanted to share some of the relationships between some of the different sorts of objects that might be called “presentations of \infty-categories”. I ended up with this diagram. (Incidentally, I don’t know if “diagrams” is actually the correct category for this nforum discussion; if not, anyone should feel free to change it.)

    But so, it occurred to me that this might be pedagogically useful to others. In particular, it might make sense to link on the nLab somewhere, though I don’t know where offhand. So I would appreciate any comments or suggestions on this front. (I’d be fine with hearing the opinion that it’s not worth putting on the nLab; I know it’s super rough, and I definitely wouldn’t be offended.)

    Of course, it’d be better if this were a texed diagram instead of a picture, but I don’t have the time to do that right now. On the other hand, I think most aspects are more-or-less self-explanatory to someone who’s in the know, but definitely not everything. So I’ll at least make a few comments.

    1. The lowercased objects such as catcat, relcatrelcat, etc., are “strict” objects, i.e. their objects have sets of objects. For example, catcat is reflective inside of sSetsSet, whereas CatCat Cat \subset Cat_\infty is a full (\infty-)subcategory.

    2. The “flag” hanging off to the left comes logically before the rest of the diagram. That is, the interpretation of the rest of the diagram is premised on the facts contained therein.

    3. Things pretty much commute “as much as you would expect” (for a diagram involving a bunch of adjoints), with the following caveats.

    • The upper-left triangle (describing the two different ways of extracting an adjunction of \infty-categories from an enriched adjunction of simplicial model categories) isn’t (yet) known to commute.

    • The corresponding triangle for Quillen equivalences is known to commute. (I think? Actually I’m not sure how to prove this offhand…)

    • The pentagon with modelcat sSet δmodelcat^\delta_{sSet} at the top-left doesn’t commute.

    • However, the two ways of proceeding from modelcat sSet δmodelcat^\delta_{sSet} down to Cat Cat_\infty are naturally equivalent (although I guess “naturally equivalent” is kind of a weak assertion for a pair of functors off of a discrete category; maybe there’s something slightly better to say). This is a result of Dwyer–Kan.

    This is all elaborated upon much more fully in the appendix to my “simplicial spaces” paper.

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeApr 3rd 2016

    Nice! What about at (∞,1)-category?

    • CommentRowNumber3.
    • CommentAuthoramg
    • CommentTimeApr 4th 2016

    Haha yes, I did at least take a quick look there. But it seems to me that this has a somewhat different bent, along the lines of the Barwick–Schommer-Pries unicity theorem. I googled those words plus “nLab” and came up empty, which was what led me to just ask here. I suspect there may not exist an nLab page explicitly dedicated to “model independence”, because the entire site is geared towards it already…?

    • CommentRowNumber4.
    • CommentAuthorMike Shulman
    • CommentTimeApr 4th 2016

    Well, at (∞,1)-category we have

    There are a number of different ways to make the idea of an (∞,1)-category precise… almost all the definitions of (∞,1)-category are known to form model categories that are Quillen equivalent.

    so it seems to me that this (as well as a discussion of the unicity theorem) would fit perfectly there.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeApr 4th 2016

    Regarding the “unicity theorem”: my colleagues back then complained about this terminology, arguing that it’s just another model with comparisons to other models.

    • CommentRowNumber6.
    • CommentAuthoramg
    • CommentTimeApr 4th 2016
    • (edited Apr 4th 2016)

    @Mike and anyone else: Do you agree that it could make sense to have a separate page dedicated to “model independence”? I think that there seems to be a sort of yoga that those in the know are able to manipulate fluidly, but that people outside find somewhat confusing because the best they’ve ever seen is “an \infty-category is a quasicategory, and writing down anything else is basically equivalent to writing down a quasicategory”.

    My own (certainly limited) view is that perhaps the best way to go about things is through the following steps (which are surely not original), which I think both make the minimal number of choices necessary (even “contractible” ones) and lead to a unified perspective on these various models. From a pragmatic point of view, I think the cleanest thing to do is to privilege quasicategories as an ambient framework, at least for now. And I’m not even going to pretend to worry about set-theoretic issues.

    1. We know what a quasicategory is; these form a KanKan-enriched category QCat̲\underline{QCat}. Define a relative quasicategory to be a quasicategory equipped with a full sub-quasicategory of “weak equivalences” containing all equivalences. Note that using this definition, the natural map hom̲((C,W C),(D,W D))hom̲(C,D)\underline{hom}((C,W_C),(D,W_D)) \to \underline{hom}(C,D) (coming from the forgetful functor RelQCat̲QCat̲\underline{RelQCat} \to \underline{QCat}) is the inclusion of a disjoint union of connected components among Kan complexes (in the strictest possible sense). There’s an evident inclusion min:QCat̲RelQCat̲min : \underline{QCat} \to \underline{RelQCat} of KanKan-enriched categories.

    2. Taking homotopy-coherent nerves, write min:CAT RELCAT min : CAT_\infty \to RELCAT_\infty for the resulting map of quasicategories. This admits a quasicategorical left adjoint L:RELCAT CAT L : RELCAT_\infty \to CAT_\infty (which presents “localization”), which is unique up to a contractible Kan complex worth of choices.

    3. Note that any Quillen adjunction (including a Quillen equivalence) CDC \rightleftarrows D determines a pair of relative functors C cCDC^c \hookrightarrow C \to D and CDD fC \leftarrow D \hookleftarrow D^f. Using this, expand the Barwick–Schommer-Pries diagram into a diagram of relative functors between relative 1-categories. This defines a “diagram” in the quasicategory RELCAT RELCAT_\infty, i.e. a morphism F:KRELCAT F : K \to RELCAT_\infty of ssets.

    4. Toen’s theorem implies that the composite LF:KRELCAT CAT LF : K \to RELCAT_\infty \to CAT_\infty is “essentially contractible”. More precisely, for any for any cofibration into an acyclic object i:KKpti : K \to K' \approx pt in the Joyal model structure, there exists a contractible Kan complex of extensions of LFLF over ii.

    5. Define TheCatsCAT The \infty Cats \subset CAT_\infty to be the maximal sub-Kan complex generated by the image of LFLF. (Toen’s theorem says that after choosing a basepoint, this Kan complex is a model of B(/2)B(\mathbb{Z}/2).) I propose to write Cat Cat_\infty for any vertex of TheCatsThe \infty Cats, and I propose that to work “model independently” is to work within Cat Cat_\infty.

    So on the one hand we can reasonably say that any sort of object that might be considered as “a presentation of an \infty-category” (such as a relative category, or a Segal category, or whatever else) does indeed unambiguously define an object of Cat Cat_\infty, but on the other hand everything is totally independent of which vertex of TheCatsThe \infty Cats we choose. I prefer this to working in a specific model, because aside from having privileged quasicategories at the “outermost layer” from the start, this purposely refuses to prefer any model over any other.

    =====

    @Urs, I’m less familiar with the (,2)(\infty,\geq 2) story than the (,1)(\infty,1) story, so maybe let’s just stick to that if you don’t mind. (I’d expect the same objection would persist here?) I agree that in theory it’s possible to write down something else that you might like to call “a model of (,1)(\infty,1)-categories”. And there may well be a chicken-and-egg problem that the only way to solve is just come out and say once and for all what you want out of your theory. But are there any models that don’t satisfy the axioms that BSP give?

    • CommentRowNumber7.
    • CommentAuthorMike Shulman
    • CommentTimeApr 4th 2016

    That’s a fine way to describe the situation, but I don’t see why it would need a separate page. It’s part of the story of (∞,1)-categories, so why not put it on the page (∞,1)-category?

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeApr 5th 2016
    • (edited Apr 5th 2016)

    My comment in #5 was a bit out of context, best to just ignore it. I was just reminded what happened to me back then after I had written the entry and used it in our group seminar. Some participants seemed to feel the terminology claimed more territory than was justified. But that’s really irrelevant, please just ignore it.

    On your edits: I agree with Mike, just put the stuff into the existing entry, it will be a worthwhile addition!

    • CommentRowNumber9.
    • CommentAuthoramg
    • CommentTimeApr 8th 2016

    Alright! I’ve updated that page. Further suggestions are of course welcome.

    • CommentRowNumber10.
    • CommentAuthorDmitri Pavlov
    • CommentTimeApr 8th 2016

    Does the nLab allow to upload images? This link to the diagram might not last forever…

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeApr 8th 2016
    • (edited Apr 8th 2016)

    Does the nLab allow to upload images?

    You may upload any kind of file to the nLab, as long as it’s sufficiently small. Type into any entry symbols like

     [[FileName.suf:file]]
    

    Then save the page. This produces a grayish field “FileName” with a green question mark behind it. Clicking on that opens an upload dialogue. When done, the file sits at

      http://ncatlab.org/nlab/files/FileName.suf
    

    Then remove the

     [[FileName.suf:file]]
    

    from the source code and instead add the usual

      <img src="http://ncatlab.org/nlab/files/FileName.suf" width="400">
    

    where desired.

    • CommentRowNumber12.
    • CommentAuthoramg
    • CommentTimeApr 29th 2016

    Alright, I’ve taken care of this. It seemed pretty unwieldy to actually embed the picture directly into the nLab page, so I just put a link to the (now more permanent) version. Thanks for the suggestion (Dmitri) and help (Urs)!