The original entry omega-category suggested that ’-category’ is supposed to implicitly mean ‹strict -category›.
After the following discussion, we renamed that entry to strict omega-category.
Toby Bartels: Who actually uses the language this way? If anything, it should be the reverse, as ‘omega’ is Greek (like ‘bi’, ‘tri’, and ‘tetra’) and ‘infinity’ is not.
John Baez: For a long time, for most category theorists, the default meaning of ‘-category’ has been ‘strict globular -category’ — especially since weak -categories had not yet been defined (except for very low ). So when Street invented ‘-categories’ in his paper on orientals, he meant ‘globular strict -categories’. Now there are many definitions of ‘weak -category’, terminology is in flux, and people like Tom Leinster and myself advocate a new system in which ‘-category’ means ‘some sort of possibly weak -category’ — at least until one has defined it more precisely in a specific context. It is still true that most papers referring to -categories mean ‘globular strict -categories’.
We may want to discuss whether the Lab adopts traditional terminology, or takes this historic opportunity to play Bourbaki and choose consistent terminology for the future (while still explaining the traditional terms, or course). In any event, globular strict -categories are worth talking about, and that’s what this page is about!
Toby Bartels: I agree with you and Tom about ‘-category’, and I agree that the strict globular case is worth talking about. I only question making a terminological distinction between ‘-category’ for the strict globular concept and ‘-category’ for the general weak case; (this seems to go against both the Greek-prefixes-for-the-weak-concept convention and the usual-name-for-the-weak-concept convention!). And I'm wondering if this distinction is established somewhere.
Urs Schreiber: I am not dogmatic about this, but I did not make this up, I think. I thought I followed the standard convention.
I jumped on the -category train after
Together with Ross Street’s original work on -categories this seems to say that all the substantial work on the theory of strict -categories uses the term ”-category” for them.
I have added more references below, all of which use the term -category exclusively for strict -categories. Please have a look.
Finally, I thought that the terminology was actually a good idea: I was thinking of the ”” as indicating the (important) fact that -categories are the directed limit of the iterated enrichment process
Toby Bartels: Hey, you don't have to give me references that use ‘-category’ for the strict notion; I know all about that. What I want are references that use ‘-category’! Keep in mind what John said that he and Tom propose above: that the usual term ‘-category’, although historically most used for the strict concept, should really be applied to the weak concept; you add the word ‘strict’ (or ‘globular strict’ to be more clear) if that's what you want. Maybe you're not folowing this … but then shouldn't you use the adjective ‘weak’ instead?
In other words: Who makes this distinction between ‘-category’ and ‘-category’? (And secondarily, of course, is this a good way to do things?)
Urs Schreiber: All right, now I am confused about what I am being asked! :-) I read you very first remark above – “Who actually uses the language this way?” – following the statement that ”-Categories are precisely those globular infinity-categories which are strict. ” as asking “Who says ’-category’ for ‘strict -category’. ”
But you maybe meant: “Who uses ’‘-category to mean ‘weak -category’?”? The answer to that seems to be: pretty much everybody nowadays. I happen to have the following example in fron of me as we speak: Toën, Higher and derived stacks: a global overview. See in particular on p. 4 the first lines of section 2.2 and the footnote on that page.
This follows of course what seems to have become the “Lurie school”. Jacob Lurie has introduced his own, slightly weird, convention, to say ”-category” for “weak -category”.
It seems to me the upshot is:
at least in more recent texts ”-category” is always meant to include the weak version
no reference I know of uses ”-category” for anything but strict -categories.
(If and when we have sorted this out, the essence of our discussion should be turned into content on the entry higher category theory)
Toby Bartels: Who uses ‘-category’ for the weak notion? I know one reference: John Baez! (from whom I've learned most of my terminology). The first use of ‘-category’ for the weak notion that I can find in TWF is weak 100; search for ’ω’ (second hit). Maybe it's just him (and presumably Tom, and of course some of his students like me). If the distinction between ‘-category’ and ‘-category’ is established, then I guess that we have to live with it. But I don't have to like it! ^_^
Urs Schreiber: You don’t have to like it. And I don’t really care as long as we can reduce the general confusion of terms. But one question: why would one say -category and not -category if one wants to refer to weak -categories. I mean, if the ”” does not indicate the degree of weakening, what then is it supposed to indicate in this context?
Toby Bartels: In general, ‘’ and ‘’ mean the same thing: infinity; that's what it means in this context too. It's kind of arbitrary that one would use one symbol instead of the other; I certainly don't think that Street (or whoever originally picked the name ‘-category’) meant anything special in picking the symbol ‘’, since after all the term ‘-category’ defaulted to the strict concept for them too (as it did for everybody at the time, I believe). In other words, the strictness was in the term ‘-category’, not in the symbol ‘’. Somehow that symbol has acquired extra connotations, and accordingly the new term ‘-category’ has been invented, I'm not sure how or why.
Also note that your directed limit above applies equally well to the weak case as long etc are interpreted in a weak sense. So again, means infinity, which is independent of strictness.
Urs Schreiber says: Hm, in TWF 100 I see Batanin’s title with “weak -categories”. Is there anyone saying just ”-category” to mean “weak -category”??
Toby Bartels: Yes, John says that, just above that title. He states (earlier in TWF 100) his general philosophy (also given earlier in this query box) that one should use ‘-category’ for the general weak concept, then applies this later to casually refer to weak -categories simply as ‘-categories’, then points to a reference on that subject, the paper by Batanin (which does not follow John's convention and so includes the adjective ‘weak’, thereby confirming that John meant the weak concept). And I like John's convention, so I've used it too (not that I've published anything), which is why it's now disconcerting to be told that now ‘’ implies strictness even when (following John's convention) ‘-category’ does not, so now I have to relearn all my language.
Which, in light of the references that use ‘-category’ for the weak concept, is apparently what I really will have to do. (;_;) (crying emoticon)
Urs Schreiber say: Okay, I have modified the first sentence in the entry a bit.
Mike: I don’t want to reopen this can of worms, although I am just as sad as Toby. Can I at least request that we at the nLab try to say “strict -category” when that is what we mean, rather than just saying ”-category” and assuming that the reader knows that we mean the strict version? In particular, since we have a page called strict 2-category rather than “2-category,” it would seem only fair for this page to be called “strict omega-category,” with the page “omega-category” containing links and pointing out the variations in terminology.
Urs: I really don’t want to come across as dogmatic here, but I am confused: if ”-category” is supposed to have precisely the same (vague) meaning as ”-category”, why should we have the two different terms then in the first place?
Mike: No particular reason, except that we’re already stuck with both of them. I would be just as happy to use one exclusively, with adjectives. (In particular, I wouldn’t mind being able to use “(weak) -category” for the weak version, to avoid confusion with things like -pretoposes and Lurie’s use of ”-category”.) I just get confused by trying to force them to have different, specific meanings, with no mnemonic to help me remember which is supposed to imply “weak” and which “strict” (except the “anti-mnemonic” that , being Greek, implies strictness, while the prefixes “bi-” and “tri-“, also Greek, imply weakness). Especially since they have each already been used by different people with different meanings. And especially if we are trying to make ”-category” not imply strictness (in the face of tradition), it seems inconsistent to insist that ”-category” does imply strictness. I feel sure that there is far more literature using “2-category” to mean “strict 2-category” than there is using ”-category” to mean “strict -category,” so why should we feel bound by the latter but not the former?
Toby: We could have the general concept at infinity-category, the strict concept at strict omega-category, and the discussion of terminology at omega-category. (It sounds like a joke, but it really may be the best use for each term!)
Urs: Okay. In that case let me suggest the following: instead of “strict omega-category” let’s have an entry “strict globular infinity-category” in which we give the above material and remark that “strict globular infinity-categories” are sometimes just called “omega-categories”. Then we need another entry “strict cubical infinity-category” or “infinity-fold category” and mention the relation to “strict globular infinity-category”.
Todd: I’m pretty sure the literature is mixed on this point. I don’t recall seeing infinity-category being used much at all in the days when the subject was first born (mid to late nineties); people said either “strict” or “weak” omega-category. Tom Leinster in his book for example has an entry in the index of his book: “infinity-category: see omega-category” and never uses the term infinity-category anywhere else, as far as I know. I don’t think I ever heard Ross Street say infinity-category – I really think this usage must have caught on more recently, with a different crowd.
I don’t really mind infinity-category; I’m just not used to saying it myself, and until now was confused by what people like you meant when you used that or omega-category, except in specific contexts, as for example discussing the work of Crans. So now I know!
[I should add that the above was given in am email to Urs, which he reproduced here; hence the phrase people like you. I added at the end that I was not pushing an agenda.]
Mike: I was going to say that I liked Toby’s suggestion, but it seems to have already been implemented, so I am satisfied. Let me just say, in response to Urs’ suggestion, that since 2-categories don’t need the word “globular” to distinguish them from double categories (aka 2-fold categories), I would rather not have to say “globular -category (or -category)” to distinguish it from cubical or -fold ones. Of course, it’s fine to add “globular” for emphasis occasionally.