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

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

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.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 18th 2016

    This looks like an interesting program being rolled out by Clark Barwick and colleagues. So far there’s an introduction

    • Parametrized higher category theory and higher algebra: A general introduction (with Emanuele Dotto, Saul Glasman, Denis Nardin, and Jay Shah). (pdf)

    and the first Exposé

    • Parametrized higher category theory and higher algebra: Exposé I – Elements of parametrized higher category theory (with Emanuele Dotto, Saul Glasman, Denis Nardin, and Jay Shah), (pdf)

    It sounds like it’s worth a dedicated entry, so I’ll start one Parametrized Higher Category Theory and Higher Algebra. I guess we can then spin off uncapitalized entries for the concepts.

    They want to “untether equivariant homotopy theory from dependence upon a group” by generalizing away from the orbit category of a group to ’atomic, orbital \infty-categories’.

    • CommentRowNumber2.
    • CommentAuthorTim_Porter
    • CommentTimeOct 21st 2016
    • (edited Oct 21st 2016)

    I find the use of the term ‘parametrized’ as being very opaque and vague. I wish they had thought up a better terminology. I also think that it is not really infinity category theory, but that is another matter.

    • CommentRowNumber3.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 22nd 2016
    • (edited Oct 22nd 2016)

    In the talk I linked to, Barwick says ’parametrized’ is in honour of Peter May’s Parametrized Homotopy Theory. Is the latter typically limited to parametrization over a homotopy type? Here it’s over an orbit category, and then further to some generalization known as ’atomic orbital \infty-categories’.

    They explain this in point 4 of p. 6 of that introduction. Given the discussion we’re having elsewhere about the legitimacy of retaining a name when generalizing, it seems to be becoming quite a theme.

    • CommentRowNumber4.
    • CommentAuthorMike Shulman
    • CommentTimeOct 22nd 2016

    Of course, possibly the original name “parametrized” was not very clear either. (I don’t think May-Sigurdsson invented that use of the word, though.) Generalization can also be an opportunity to fix bad terminology…

    • CommentRowNumber5.
    • CommentAuthorDavidRoberts
    • CommentTimeOct 22nd 2016
    • (edited Oct 22nd 2016)

    “Relative”? Since that is what it is called in algebraic geometry, and that came earlier. Though on consideration, it seems less outright informative than parametrized!

    • CommentRowNumber6.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 22nd 2016

    But do we have an nLab angle on all this? It seems to aim at quite some unified account. Do the instances of parametrised spectra and orbit categories suggest cohesion’s in the air?

    • CommentRowNumber7.
    • CommentAuthorMike Shulman
    • CommentTimeOct 23rd 2016

    Just looking at their definition now, I think the correct term to use would have been “fibered” or “indexed”, those being the standard name for the corresponding 1-categorical notion.

    • CommentRowNumber8.
    • CommentAuthorMike Shulman
    • CommentTimeOct 23rd 2016

    Tim, why do you say it isn’t \infty-category theory? I haven’t actually read any of their stuff beyond the definition, but it’s well-known in 1-category theory that fibered/indexed categories are a perfectly good “category theory” with basically all the same theorems as ordinary category theory.

    • CommentRowNumber9.
    • CommentAuthorTim_Porter
    • CommentTimeOct 23rd 2016

    Mike. It is partially an old prejudice on my part. I never really got a feel for things like stable homotopy theory and that sort of approach to algebraic K-theory (and was force fed it at algebraic topology conferences in the UK in the 1970s!). I think I helped found infinity category theory back in the 1980s so am slightly aggrieved to see the term applied to what is equivariant homotopy theory (an area I have worked in.)

    The subject matter is a neat generalisation of equivariant homotopy theory and an application to derived algebraic geometry, but is not that central to what I feel is infinity category theory, although I know that that term is not well delineated in its use. The boundaries between homotopy theory and infinity category theory are very blurred. (For that matter I do not know how to say what category theory is anyhow …! A rose by any other name etc. ….)

    • CommentRowNumber10.
    • CommentAuthorMike Shulman
    • CommentTimeOct 23rd 2016

    What do you feel is \infty-category theory?

    • CommentRowNumber11.
    • CommentAuthorTim_Porter
    • CommentTimeOct 23rd 2016

    I’m not sure as yet. Its links with fairly classical homotopy theory get in the way of having an independent idea of its structure as a subject area. I feel that homotopy theorists ask a different type of question from category theorists, although there is a big overlap. Perhaps I would say there is some infinity categorical homotopy theory that is more homotopy theory in its ‘aims and objectives’ than category theory, but the boundaries are not really important. I would resist the idea that homotopy theory and infinity category theory coincide. I think it is more a question of they interact strongly. What do you think, Mike?

    • CommentRowNumber12.
    • CommentAuthorRichard Williamson
    • CommentTimeOct 23rd 2016
    • (edited Oct 23rd 2016)

    I agree with Tim that it does not seem to me that very much new ’category theory’ has been done in (,1)(\infty,1)-category theory as it stands today. An enormous amount of translation of classical category theoretic concepts: yes. Really new category theoretic ideas: not as I see it. Of course the translation of category theoretic concepts to a homotopical setting is a very powerful idea in itself, and has led to progress in homotopy theory; but that does not make it a new kind of category theory.

    • CommentRowNumber13.
    • CommentAuthorDavidRoberts
    • CommentTimeOct 23rd 2016

    Richard

    I would count the work of Riehl and Verity on infinity cosmoi as being category theory, and new category theory at that.

    • CommentRowNumber14.
    • CommentAuthorMike Shulman
    • CommentTimeOct 23rd 2016

    To me (,1)(\infty,1)-category theory means doing with (,1)(\infty,1)-categories the sorts of things that 1-category theorists do with 1-categories: limits, colimits, Kan extensions, adjunctions, generators, factorization systems, monads, monadicity, local presentability, etc. etc. Of course there are some new phenomena, such as the possibility of descent along arbitrary colimits, but for the most part it seems to me that the point is that nearly all classical category-theoretic concepts translate. In fact, this to me is what it means to be “a kind of category theory”, analogous to enriched category theory or indexed category theory: all the basic concepts of category theory are available. And it sounded to me from the introduction (which, again, is about all I read) that Barwick et. al. are going to show that “indexed (,1)(\infty,1)-categories” are also a kind of category theory in this sense — and then apply them in various ways, analogous to the way that classical homotopy theorists apply ordinary (,1)(\infty,1)-categories.

    • CommentRowNumber15.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 23rd 2016

    Someone ought to spend a few years writing a graduate text “(,1)(\infty, 1)-Categories for the Working Mathematician”.

    • CommentRowNumber16.
    • CommentAuthorMike Shulman
    • CommentTimeOct 24th 2016

    My personal opinion is that the tools needed to write such a book don’t exist yet. The “working mathematician” shouldn’t have to bother about things like umpteen million different kinds of fibrations of simplicial sets. The Riehl-Verity programme is a significant step forwards; it may or may not be the eventual answer.

    • CommentRowNumber17.
    • CommentAuthorTim_Porter
    • CommentTimeOct 24th 2016
    • (edited Oct 24th 2016)

    I think, Richard, you misunderstood what I was saying slightly. There is clearly new category theory being done in the context of infinity categories, but there is also a lot of good homotopy theory of infinity categories being done. The former informs the latter (perhaps more than the other way around). I agree the the list of topics that Mike mentions constitutes category theoretic content in infinity category theory and I would also say that there can be ‘categorical content’ in a lot of the new homotopy theory that uses infinity categories. I would not wish to be prescriptive, but found that certain well meaning homotopy theorists have a tendency to declare they were doing categoy theory although their motivation was more about calculating some famous invariant in a new setting rather than understanding the mechanisms involved more for their own sake (which would be more to the taste of a categorist).

    There are questions in the interface between the two areas that perhaps defy classification as one or the other’s area. I think some of Whitehead’s problems from his ICM discourse in 1950 come into that class, e.g. suppose XX is a nn-dimensional polyhedron and we model its homotopy type by, say, an infinity groupoid, can we see that nn-dimensionality in the specification of the infinity groupoid? I deliberately do not say what sort of infinity groupoid / homotopy type model I want to use. Any thoughts anyone (but if you have any start a new thread otherwise this one will go wandering off away from the topic title!!!)

    • CommentRowNumber18.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 24th 2016
    • (edited Oct 24th 2016)

    Returning to what this program’s about, some selections from the introduction:

    In their landmark solution of the Kervaire Invariant Problem [25], Mike Hill, Mike Hopkins, and Doug Ravenel developed a perspective on equivariant stable homotopy theory that centered on the study of indexed products, indexed coproducts, and indexed symmetric monoidal structures (incorporating their multiplicative norms). They argued that these structures were fundamental to the basic structure of equivariant stable homotopy theory.

    In 2012, Hill presented (partly jointly with Hopkins) a sketch of a program to rewire huge swaths of higher category theory in order to embed these structures into the very fabric of the homotopy theory of homotopy theories

    In this text, we completely realize Hill’s vision

    One is thus led to ask whether one might untether equivariant homotopy theory from dependence upon a group.

    one finds that the unstable results continue to hold when O G\mathbf{O}_G is replaced with any base \infty-category TT. The stable results require only very mild conditions on TT; in effect, one requires the analogue of the Mackey decomposition theorem in TT (“TT is orbital”) and a condition that no nontrivial retracts exist (“TT is atomic”).

    Do these “mild conditions” tell us something about the relationship beween HoTT and linear HoTT?

    • CommentRowNumber19.
    • CommentAuthorRichard Williamson
    • CommentTimeOct 24th 2016
    • (edited Oct 24th 2016)

    Tim: I was agreeing with the suggestion from #11 that (,1)(\infty,1)-category does not yet have a clear independent structure as a subject area; and giving my own reasons for why I think a point of view of that kind is reasonable. My apologies if I misinterpreted that suggestion.

    Mike: I agree completely that your description corresponds to how (,1)(\infty,1)-category is today. This is what I was getting at. My point is that there are not really new categorical ideas here: there are new applications of 1-categorical ideas, or 2-categorical ideas in the case of Riehl and Verity, but not new categorical concepts as such. By a categorical idea here, I am referring to something like a limit, or an adjunction, or a comma category, or a monad, or a pro-functor. Such notions for (,1)(\infty,1)-category theory all really come from 1-category theory. Whereas I think that everybody expects there to be truly different categorical phenomena in higher category theory. For instance, even a weak 6-groupoid, never mind a weak (6,1)(6,1)-category, when understood algebraically, should have an extraordinary amount of structure, that one can probably do all kinds of remarkable ’purely categorical’ things with; but we understand nothing of this.

    David: As I just wrote, I would say that Riehl and Verity’s work is an application of 2-category theory, which is not what I was getting at.

    So in summary, I see (,1)(\infty,1)-category theory as category theory (mostly 1-category theory) as we already knew it, fused with homotopy theory in a new (or not so new, nowadays!) way.

    • CommentRowNumber20.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 24th 2016

    Could people please take this elsewhere. I’d just like to hear discussion about what Barwise et al. are doing.

  1. I am myself not keen on a long continuation of the above discussion, but given that nobody replied to the original post for 3 days, or has since, I don’t think it’s unreasonable that this side discussion sprung up. And a few thoughts on the Barwick et al paper did crop up in the course of the side discussion, which is surely preferable to no discussion at all.

    • CommentRowNumber22.
    • CommentAuthorMike Shulman
    • CommentTimeOct 25th 2016

    It’s always much easier to argue about terminology than to actually read mathematics…

    • CommentRowNumber23.
    • CommentAuthorTim_Porter
    • CommentTimeOct 25th 2016

    Mike: :-) and I do not know how to do a ‘thumbs up.’ Back to discussing the content rather than the terminology. …

    • CommentRowNumber24.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 13th 2017

    I added some more detail about the program.

    • CommentRowNumber25.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 16th 2017
    • (edited Aug 17th 2017)

    Reflecting on Mike at #14, I wonder why they don’t work up an \infty-version of Enriched indexed categories.

    They seem to have given a lot of thought to the indexing category having the twin properties of being orbital (making the Beck-Chevalley condition hold, at least some of the time) and being atomic (having trivial retracts). I wonder if the latter condition has something to do with Mike’s EI-inverse condition.

    • CommentRowNumber26.
    • CommentAuthorMike Shulman
    • CommentTimeAug 17th 2017

    I wonder why they don’t work up an \infty-version of Enriched indexed categories.

    Does it seem like something that they would want, based on what they’re doing? It could be they’re just not aware of the idea.

    (BTW, your link is broken for me; the paper on the TAC website is here.)

    • CommentRowNumber27.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 17th 2017

    Well your list of “category-like objects which appear simultaneously enriched and internal” includes some of the areas they’re considering later in the program. But more broadly, I wonder if the choice of ’parametrized’ is a sign of a disconnect of one community from the category theoretic community. The first expose is just about what might have been ’indexed higher category theory’. No references are made to indexed or fibered category theory.

    (I fixed my link to the one you give. Thanks.)

    • CommentRowNumber28.
    • CommentAuthorMike Shulman
    • CommentTimeAug 17th 2017

    I wonder if the choice of ’parametrized’ is a sign of a disconnect of one community from the category theoretic community.

    Yes, I think it certainly is. To me it indicates that they didn’t even take five minutes to talk to a category theorist about their ideas, since any category theorist could have told them that the standard terms are ’indexed’ or ’fibered’ and given them literature references. I might use a stronger word than “disconnect” for that.

    • CommentRowNumber29.
    • CommentAuthorclarkbar
    • CommentTimeAug 21st 2017
    • (edited Aug 21st 2017)
    Thank you for your interest in this project. We are a bit behind in our writing, since many of us have been moving this summer.

    A friend directed me to this discussion, to offer me the chance to, as he put it, 'defend myself' from some of the more angry (??) comments here. Our original name for the theory was indeed 'indexed' ∞-category theory, as an extension of the 1-categorical theory (of which we are all certainly aware), and all the first drafts were written that way. However, our stuff doesn't only generalise indexed category theory; it also generalises parametrised homotopy theory. And over time, we started to realise that our thinking about the phenomena we were interested in had more in common with a stratified form of parametrised homotopy theory. (This point of view led us to realise, for example, that the slice filtration really is a perversity filtration, and so one can think of the HHR gap theorem as a result about the vanishing of a rather exotic form of intersection cohomology.) We also thought that this naming would be a nice way to salute the work of May and Siggurdson.

    I concede that we have been remiss in our citation of the 'classical' categorical literature. We'll take care to include all the citations we know about in the next revision. (We mostly focussed on citations that were technically necessary for what were doing, and we missed the chance to say something about the history of our ideas.) I think you'll find that we are all relatively fair people, and a great alternative way of correcting our citational mistakes is to contact us directly. I think I speak for the rest of the team when I say that we are certainly not interested in creating a 'disconnect' (or whatever stronger word Mike Shulman might have had in mind) with the category theory community.
    • CommentRowNumber30.
    • CommentAuthorMike Shulman
    • CommentTimeAug 22nd 2017

    Hi Clark; thanks for dropping by! I am duly chastened; you are of course right that contacting you directly would be more productive than bitching in an online forum. (-: I’m glad that your friend directed you here, and that you were willing to overlook my “anger” enough to reply politely. (I wouldn’t say I was angry, although I admit to being slightly annoyed.) I’m also glad to hear that you’re aware of classical indexed category theory and intend to add citations in the next revision, and I’m happy to hear your thought processes that went into the name “parametrized”.

    In the hope that you’re even feeling generous enough to listen to me further, let me try to convince you to stick with “indexed” (or, if you prefer, “fibered”). While I certainly agree about the importance of May-Sigurdsson, and I don’t know anything about the applications you’re referring to, I don’t think I would find any such argument compelling enough to warrant changing a terminology that is absolutely standard in category theory. Despite the arguable inappropriateness of the name “limit”, for instance, it would be ridiculous to try to introduce a different word for it in (,1)(\infty,1)-category theory. As Jaap van Oosten said, the only thing worse than bad terminology is continually changing terminology. It’s bad enough that we already have “indexed” and “fibered” meaning essentially the same thing; we don’t need a third word that also means the same thing!

    Using standard terminology also makes it easier to build bridges between communities. If you call it “indexed (,1)(\infty,1)-category theory”, then a category theorist who knows something about indexed category theory can look at the title of your paper and say “oh, that sounds interesting, let me see whether it can do anything for me or I can do anything for it”. It also means that theorems from category theory “look the same” when translated to (,1)(\infty,1)-category theory, making it easier for a category theorist to ease into the latter: “everything works the same as you’re used to” is easier to deal with than “everything works the same as you’re used to, but we use a bunch of different words for things.” And conversely, it means that someone working on indexed (,1)(\infty,1)-category theory and needing inspiration from 1-category theory will automatically know where to look, namely indexed 1-category theory.

    In other words, the effect of renaming a standard thing is to create a disconnect, even if that isn’t your goal.

    • CommentRowNumber31.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 22nd 2017

    Well I blame the author of

    a ’monoidal fibration’, meaning a parametrized family of monoidal categories…

    But seriously, seeing that 1-categorical issues have been so thrashed over, it does seem reasonable to stick with its terminology as far as possible.

    For another (but related) case, I wonder if the ’flagged \infty-categories’ of Fibrations of ∞-categories are really new under the sun. Might the 2-category equipped with proarrows literature be relevant there?

    • CommentRowNumber32.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 22nd 2017
    • (edited Aug 22nd 2017)

    Naturally, Mike was already onto this ’flagged’ case a few months ago, here, and that’s pleasing to see my hunch about equipments was on track. Is the suggestion at Conduche functor that the full pro-arrow treatment would have been better?

    • CommentRowNumber33.
    • CommentAuthorclarkbar
    • CommentTimeAug 22nd 2017

    I take your point, and I think it might be a good idea for us to try to use the indexed terminology in addition to the parametrised one in the first couple of Exposés … if we can find a way to do so gracefully.

    But I dispute the claim that we’re REnaming anything; we’re rather naming a new thing that happens to be a natural generalisation of two existing things with names:

    (1) indexed 1-category theory (the case when the base is a 1-category), and

    (2) parametrised homotopy theory (the case when the base is an ∞-groupoid).

    In fact, it’s kind of the pushout of these two theories.

    It seems to me that all the arguments you gave for using ’indexed’ instead of ’parametrised’ apply equally well for the opposite view if you wanted to represent a community of mathematicians that knows more about parametrised homotopy theory than indexed 1-category theory: If we call it ’parametrised (∞,1)-category theory’, then a homotopy theorist who knows something about parametrised homotopy theory can look at the title of our paper and say ’oh, that sounds interesting, let me see whether it can do anything for me or I can do anything for it’. It also means that theorems from homotopy theory ’look the same’ when translated to (∞,1)-category theory, making it easier for a homotopy theorist to ease into the latter: ’everything works the same as you’re used to’ is easier to deal with than ’everything works the same as you’re used to, but we use a bunch of different words for things’. And conversely, it means that someone working on parametrised (∞,1)-category theory and needing inspiration from homotopy theory will automatically know where to look, namely parametrised homotopy theory.

    So we can name things after (1) and risk annoying/confusing folks who are happier with (2); we can name things after (2) and risk annoying/confusing folks who are happier with (1); or we can call everything something totally crazy and annoy/confuse everyone. How do we choose?

    One idea is to look at the relative sizes of the communities, and try to piss off the fewest people. But I’ll be honest: I have no idea which is larger, and I wouldn’t know how to sort something like that out.

    A better idea, in my view, is to look carefully at what we’re doing and see which leg of the pushout our stuff more closely resembles — (1) or (2). Here’s where things get more interesting, because the details of our project beyond the first couple of Exposés really matter. The bases in which we’re most interested — and have the most to say — are atomic orbital ∞-categories that admit a conservative functor to a poset (so that they are ’EI ∞-categories’). Examples include: the orbit category of a group, the category of finite sets and surjective maps, any ∞-groupoid, the cyclonic orbit category, and the total ∞-category of any G-space. Morally, these ∞-categories have an ∞-groupoid direction and a poset direction. If the poset direction is trivial, we’re clearly in (2) territory, and if the ∞-groupoid direction is 1-categorical, we’re in (1) territory.

    Now ’EI ∞-categories’ essentially are stratified spaces. That is, the equivalence of homotopy theories between spaces and ∞-groupoids (via Sing) extends to an equivalence of homotopy theories between stratified spaces over a fixed poset P and ∞-categories with a conservative functor to P (via the exit-path ∞-category). So, in reality, the bases we’re most interested in give us a theory that looks more like a stratified version of (2). The role played by locally constant sheaves of spaces or ∞-categories in (2) is played by constructible sheaves of spaces or ∞-categories in our theory. More complicatedly, the role played by locally constant sheaves of spectra or stable ∞-categories in (2) is played by constructible bisheaves of spectra or stable ∞-categories in our theory. From this point of view, our theory appears to have more in common with (2) than (1).

    I’d say that if we were interested largely in results that work for completely general bases, it would be about even whether we’d want to call them ’indexed’ or ’parametrised’ — maybe you could argue for a slight edge to the former. But since the bases that we’re most focused on are of such a very special kind, I’d say that ’parametrised’ gets the edge.

    But this is all a judgement call, and that’s my main point: I don’t think there is a genuinely ’correct’ term to use.

    • CommentRowNumber34.
    • CommentAuthorMike Shulman
    • CommentTimeAug 22nd 2017

    Isn’t parametrized homotopy theory the case where the base and the total category are \infty-groupoids? Unless I’m confused, the categories of parametrized spaces over a base BB that appear in parametrized homotopy theory are not themselves indexed categories over BB qua \infty-groupoid, so the “category theory” that’s being used in parametrized homotopy theory is not what I would call “indexed (,1)(\infty,1)-category theory” (though it is enriched indexed (,1)(\infty,1)-category theory…). And in general, allowing non-invertible morphisms (passing from groupoids to categories, or \infty-groupoids to (,1)(\infty,1)-categories) tends to introduce orders of magnitude more new phenomena than passing from 1-categories to (,1)(\infty,1)-categories, so it seems to me that the notion of “indexed (,1)(\infty,1)-category” is much closer in spirit and behavior to indexed 1-categories than it is to parametrized spaces.

    • CommentRowNumber35.
    • CommentAuthorMike Shulman
    • CommentTimeAug 22nd 2017

    Re #32, I wouldn’t necessarily say “better”; it would say more, but it would also be a lot more work, starting with defining “\infty-double categories”.

    • CommentRowNumber36.
    • CommentAuthorclarkbar
    • CommentTimeAug 22nd 2017

    Maybe I was unclear. Parametrised homotopy theory (over a fixed space X) deals with a number of different homotopy theories, not only the homotopy theory of parametrised spaces. There is also, as I mentioned, the homotopy theory of parametrised spectra, as well as parametrised module categories, etc., etc. To rephrase one big insight of the May-Siggurdson work in overly terse ’modern’ language, all of these homotopy theories are naturally parametrised ∞-categories over X (i.e., locally constant sheaves of ∞-categories on X, or equivalently functors from ∏∞(X)^{op} to Cat∞), the theory of which doesn’t involve any new phenomena beyond ordinary ∞-category theory. (For example, indexed products and coproducts over an ∞-groupoid simply reduce to the usual notion.) Again, my point is that if you perform the natural generalisation of this story to a stratified space Y, then these are what we have called parametrised higher categories (i.e., locally constant sheaves of ∞-categories on Y, or equivalently functors from ∏∞(Y)^{op} to Cat∞, where ∏∞(Y) is the entry-path ∞-category of Y).

    In other words, I claim that the move from May-Siggurdson parametrised homotopy theory to our stuff is exactly the passage from the study of these locally constant sheaves of ∞-categories on a space to analogous constructible sheaves of ∞-categories on a stratified space. This is — for me at any rate — a nontrivial fact. I therefore believe that our choice of terminology is reflective of one of the main insights we’ve made into the behaviour of these objects, so I think it’s worth taking this point more seriously.

    I’m extremely uncomfortable participating in internet debates, and in these circumstances, even more so. So I’d like to leave it there if I may.

    All: I do hope you’ll read our papers as they appear (hopefully with more alacrity now), and I do hope you’ll see past potential terminological disputes to what I’d like to think are some interesting and fun results.

    • CommentRowNumber37.
    • CommentAuthorDavidRoberts
    • CommentTimeAug 23rd 2017

    @Clark - a question if I may: I’m surprised to see you use the entry path \infty-category in your above message, rather than the exit path \infty-category, can you give a pointer than explains this choice?

    • CommentRowNumber38.
    • CommentAuthorMike Shulman
    • CommentTimeAug 23rd 2017

    Thanks for your reply, Clark! I totally understand that you want to cut this short; I regret very much that my rude and unprofessional comment created an uncomfortable environment for the conversation.

    Before you go, may I make a compromise suggestion? What I care most about is not what you call your subject, but what you call the basic object (a functor C op(,1)CatC^{op} \to (\infty,1)Cat). Such objects and their theory are important in their own right, before specializing to the EI case from which your motivation for “parametrized” seems to come. So what about this:

    1. The notion of a functor C op(,1)CatC^{op} \to (\infty,1)Cat is called an “indexed (,1)(\infty,1)-category”.
    2. The theory of such functors, for arbitrary CC, is “indexed (,1)(\infty,1)-category theory”.
    3. The theory of such functors when CC is EI, and in particular your results in later Exposes that you alluded to that generalize parametrized homotopy theory, is called “parametrized (,1)(\infty,1)-category theory”.
    4. Indexed \infty-groupoids (spaces), spectra, modules, and so on (at least over an EI base, and perhaps more generally) are called “parametrized” spaces, spectra, modules, etc.

    It seems to me that this would give all the advantages of both sides that we argued for in #30 and #33. The word “parametrized” would be there to grab and assist the homotopy theorists in the title of your overall work, whereas your first couple of Exposes that are mainly about indexed (,1)(\infty,1)-category theory more generally could also mention that in the title to grab and assist the category theorists. And the word “indexed” would be used in theorems about categories, which are the ones that will “look like” theorems from 1-category theory; whereas the word “parametrized” would be used in all the cases where May-Sigurdsson used it, so that those theorems will “look like” theirs. (I don’t think that May-Sigurdsson ever spoke about “parametrized categories”; as far as I remember they only applied the word “parametrized” to the objects of their categories.)

    • CommentRowNumber39.
    • CommentAuthorclarkbar
    • CommentTimeAug 23rd 2017
    • (edited Aug 23rd 2017)

    David: of course the exit-path ∞-category and the entry-path ∞-category are opposites. There’s a whole chain of op-choices we had to make, and in the end we could only find one that minimised the dualisation-contortions we had to tolerate when we started contemplating parametrised symmetric monoidal structures. It turns out that that was to encode indexed/parametrised ∞-categories as cocartesian fibrations to the opposite of the orbital ∞-category. When the orbital category is an entry-path-category of a stratified space Y, that’s the same as constructible sheaves of ∞-categories on Y.

    A good example of this is the category of finite sets and surjective maps, which is the entry-path category of the Ran space of R∞. (One of Saul Glasman’s theorems — which I still find mindblowing — can thus be re-expressed as saying that constructible bisheaves of spectra on the Ran space of R∞ are the same thing as weakly analytic functors Sp → Sp.)

    Mike: No worries. Thanks. Please forgive my Internet-reticence. Your proposal is very reasonable and a good deal more refined and principled than what I was suggesting in #33. I will propose this to my coauthors.

    • CommentRowNumber40.
    • CommentAuthorRichard Williamson
    • CommentTimeAug 23rd 2017
    • (edited Aug 23rd 2017)

    constructible bisheaves of spectra on the Ran space of R∞ are the same thing as weakly analytic functors Sp → Sp.

    Hi, could you possibly say what a weakly analytic functor means here? The result does sound a bit mindblowing, but maybe the mindblowing-ness is being hidden in the definition of these functors…!

    • CommentRowNumber41.
    • CommentAuthorclarkbar
    • CommentTimeAug 23rd 2017

    Maybe that’s nonstandard … by ’weakly analytic’ I just meant functors that are the limits of their Taylor towers.

    • CommentRowNumber42.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 23rd 2017
    • (edited Aug 23rd 2017)

    In arXiv:1507.01976 it’s being used as expected in terms of convergence of the Goodwillie-Taylor tower

    Flim nP nF. F \cong lim_n P_n F.

    It looks like arXiv:1610.03127 is the place for that result being redescribed in #39.

    We drop the ’weakly’ at analytic (∞,1)-functor.

    • CommentRowNumber43.
    • CommentAuthorRichard Williamson
    • CommentTimeAug 23rd 2017
    • (edited Aug 23rd 2017)

    Thanks! I think maybe then I do not find it mind-blowing, because somehow cubes are built into the Ran space in a way which it is not too difficult to imagine gives rise to the Goodwillie layers, and so by using R R^{\infty} and imposing a sheaf condition, it is not too surprising to me that one is imposing convergence. Establishing the technical details is of course a different challenge altogether, but still at least the picture seems quite natural.

    • CommentRowNumber44.
    • CommentAuthorMike Shulman
    • CommentTimeAug 23rd 2017

    Clark: Nothing to forgive. Thanks for dropping by, and for your openness to the suggestion!