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.
    • CommentAuthorTobyBartels
    • CommentTimeDec 7th 2009

    I added to vertical categorification the comments that I'd made at MathOverflow, as Urs has requested. I'm not sure that I'm happy with where I put them and how I labelled them, but maybe it's better if other people judge that.

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeDec 7th 2009

    I think of "categorification" as including "laxification". Adding only invertible higher arrows I would call "groupoidification" (if that weren't already being used for something else...).

    • CommentRowNumber3.
    • CommentAuthorTobyBartels
    • CommentTimeDec 7th 2009

    Yeah, I might do that too if that weren't already being used.

    Except that a lot of examples called ‘categorification’ in the wild don't add noninvertible higher arrows; an example is moving from locales to Grothendieck topoi (or from topological spaces to ionaid, for that matter).

    Conceptually, I think that it helps me to see adding higher arrows and allowing arrows (at whatever level) to be noninvertible as separate steps, even if you might want to do both.

    • CommentRowNumber4.
    • CommentAuthorMike Shulman
    • CommentTimeDec 7th 2009

    I think the distinction is a fine one, but I would still prefer to allow "categorification" to refer to the whole shebang. What I'm objecting to is I think confined to the third paragraph here.

    • CommentRowNumber5.
    • CommentAuthorTobyBartels
    • CommentTimeDec 7th 2009
    • (edited Dec 7th 2009)

    I would allow it, certainly, but I also need a term for not the whole shebang. So I said ‘categorification proper’. The main point of categorification (whatevery you call it), as I see it, is that.

    But if you think that what I wrote can be better phrased, go ahead. Then I'll argue if I don't like it. (^_^)

    • CommentRowNumber6.
    • CommentAuthorMike Shulman
    • CommentTimeDec 8th 2009

    Ok, I edited it a bit. What I object to is that "categorification proper" makes it sound like using "categorification" for the whole shebang is somehow "improper," i.e. not quite right.

    • CommentRowNumber7.
    • CommentAuthorTobyBartels
    • CommentTimeDec 8th 2009
    • (edited Dec 8th 2009)

    The opposite of ‘proper’ in this sense, I think, is ‘greater’ (with the latter coming before the noun, as usual in English, rather than after). So they're both emotionally positive terms. (^_^) A random example from an Internet discussion board: ‘Did Magna Grecia (“Greater Greece”) ever replace Greece proper as the center of Greek civilization?’.

    Anyway, your edits are fine, although I have put in a call for a good name. What do you think about the perspective that ‘greater categorification’ may be understood as the composite of two processes: ‘categorification proper’ and ‘laxification’, whatever we may decide to call these? (And how about that name ‘laxification’?; I expect you of all people to have an opinion on that!)

    • CommentRowNumber8.
    • CommentAuthorMike Shulman
    • CommentTimeDec 8th 2009

    It's not entirely clear to me that the two can be completely disentangled, but it's interesting to think about. Are you thinking of always composing them in a specific order? E.g. we can get from sets to categories via groupoids, which is maybe what you are thinking of, or via preorders -- is going from preorders to categories a process of "adding higher morphisms but not allowing noninvertible things"?

    Another possible word for "adding higher invertible morphisms" is "homotopification" since when carried to the limit it replaces all sets by \infty-groupoids, i.e. homotopy types. Or from the type theorists' point of view it could be "intensionalization" since \infty-groupoids "are" intensional types.

    I'm not all that taken by "laxification," partly I think because "lax" things are often viewed as weird and technical (which I think lax functors and "lax categories" often are, although lax transformations and lax morphisms of algebras are certainly ubiquitous), while I think in some circles (such as algebraic geometry) there is already too much of a tendency to regard noninvertible higher cells as weird or pathological or not important. It could also be called "directification" or "directionalization" or "directing" (argh, English) since it involves making things "directed" that weren't before.

    I don't really like any of these words, but I'm just thinking out loud.

    • CommentRowNumber9.
    • CommentAuthorTobyBartels
    • CommentTimeDec 9th 2009

    is going from preorders to categories a process of "adding higher morphisms but not allowing noninvertible things"

    Yes, if you mean not allowing additional noninvertible things. (If you do, then you get 2-posets, of course.)

    Although when speaking of specific categories, you get a very different result by decatorifying to a poset and then delaxifying to a set, than you get by delaxifying to a groupoid and then decategorifying to a set, and the latter route is usually (but not always) more interesting.

    Or from the type theorists' point of view it could be "intensionalization"

    Maybe. I'm still a bit cautious about approaching higher categories through intensional type theory; while a type in intensional type theory is an \infty-groupoid, I see no reason why most \infty-groupoids should arise in this way. Indeed, adding an extensionality axiom to an intensional type theory is often consistent, in which case none of these \infty-groupoids can be proved to be not discrete. (But I need to catch up on the latest ideas here.)

    I'll bet that Urs would like ‘homotopification’; we should ask him.

    I think because "lax" things are often viewed as weird and technical

    But that's wrong, right? For people who already know and love categorification, you point out that (half of the time) they've been laxifying all along! Although that won't help with geometers who dislike noninvertible higher cells already.

    Something based on ‘direct’ could be good, although none of those particular words sound nice to me either.

    • CommentRowNumber10.
    • CommentAuthorzskoda
    • CommentTimeDec 9th 2009
    • (edited Dec 9th 2009)

    Although that won't help with geometers who dislike noninvertible higher cells already.

    I do not understand the motivation for this comment. My experience with monoidal functors is just the opposite. In works in geometry monoidal functors are almost always lax, while most of the papers in category theory mainly concentrate and on pseudo-version as a default.

    "groupoidification" (if that weren't already being used for something else...)

    But except for this cafe circle I would not say that word "groupoidification" is generally accepted: I mean doing the linear algebra of correspondences ("spans") is a great and old idea (very popular in algebraic geometry: Fourier-Mukai transforms being the most well-known archetypal exsample) and does not need to include groupoids in the game, so the term is in my opinion misleading. Spanification is not yet used term; but I do not think one needs to have a term for linear algebra in some setup. Linear algebra has been many times generalized, from vector spaces to modules, sheaves of modules, additive categories etc. It still stays linear lagebra and the basic idea of Fourier-Mukai transform is still at its basis the idea of Fourier transform, never mind the sheaves, inner homs and other bells and whistles.

    • CommentRowNumber11.
    • CommentAuthorHarry Gindi
    • CommentTimeDec 9th 2009
    • (edited Dec 9th 2009)
    Why don't you use something like the term, "local n-categorification" for categorification where all morphisms of dimension greater than n are invertible. This idea, of course, coming from the idea of localizing a ring at a prime ideal, making that prime maximal, and by default, making all elements in the complement invertible. Then, we can use the term categorification to refer to all categorifications, local categorifications to denote what you guys have been throwing around as possibly "groupoidification", and laxification can stay the same. That way we've avoided the "commutative noncommutative ring" problem. I checked google, and there is no term "local categorification". The only problem I could see happening with this definition is if it were mixed up with localizing a category, but the good thing is, with this terminology, localizing a category becomes 1-truncated local 0-categorification,.
    • CommentRowNumber12.
    • CommentAuthorMike Shulman
    • CommentTimeDec 9th 2009

    I'm presuming that by "decategorifying to a poset" you mean taking the reflection into posets, which is a left adjoint, and by "delaxifying to a groupoid" you mean taking the core, which is a right adjoint? Is this some sort of indication of a general principle? (Of course there is also a left adjoint landing in groupoids that forcibly inverts everything, but that is probably less interesting?)

    Certainly, if there's going to be a type theory that is sufficient as an internal logic for (\infty,1)-toposes, then adding an extensionality axiom to it must not be consistent. I think one important axiom of such a theory will be exactness, which in the \infty-case means that any internal groupoid has a "quotient." In low dimensions, exactness and extensivity are what prevent degenerate models. For instance, any Heyting algebra is an exact Heyting category, but it is not extensive. And any extensive Heyting category is an extensive Heyting 2-category, but it is not (2-)exact.

    As I said, I think some lax things are weird and technical, like lax algebras, lax categories, and lax functors. But lax transformations and lax morphisms of algebras are ubiquitous. So maybe you're right, but I'm still worried about the geometers. (-:

    • CommentRowNumber13.
    • CommentAuthorMike Shulman
    • CommentTimeDec 9th 2009

    Zoran, I had a discussion with an algebraic geometer about Lurie's use of "\infty-category" to mean (\infty,1)-category, and the similar tendency to use "2-category" to mean "(2,1)-category". His response was that most algebraic geometers think of noninvertible 2-cells and higher as "pathological," so that adding the ",1" is just a "niceness condition" which one can easily omit to mention, as in saying "space" for "compactly generated space." I can't understand this, for the reasons you gave and others, but that's what he said, and the fact is that many geometers do use the words "\infty-category" and (I believe) even "2-category" in this way.

    I also don't think it's true that category-theory papers concentrate on pseudo/strong monoidal functors. Lax functors of bicategories are fairly exotic, but lax monoidal functors are so important that in many circles they are simply called "monoidal functors," with "strong" added when the comparison maps are invertible. Lax morphisms of algebras for 2-monads, of which monoidal categories are a special case, play a very important role in the theory and are studied in a lot of places.

    • CommentRowNumber14.
    • CommentAuthorMike Shulman
    • CommentTimeDec 9th 2009

    Harry, I don't like "local" because there is another category-theoretic meaning of "local" that that could easily be confused with (and which confused me at first when I read your post), namely "applying to hom-sets." To me "local categorification" "obviously" means "categorifying the hom-sets."

    • CommentRowNumber15.
    • CommentAuthorHarry Gindi
    • CommentTimeDec 9th 2009
    • (edited Dec 9th 2009)
    It would be really nice if we found a way to recover something along those lines, since the analogy with localization of a ring seems very straightforward to me at least.

    Edit: ideas:
    n-localized categorification
    groupoidal n-categorifcation
    • CommentRowNumber16.
    • CommentAuthorTobyBartels
    • CommentTimeDec 9th 2009
    • (edited Dec 9th 2009)

    Is this some sort of indication of a general principle?

    H'm, maybe it is. It just seems the obvious thing to do, and it seemed to be the obvious thing to you as well. That actually strengthens the case that decategorifying from a category to a set is just as much ‘decategorification’ simple as from a category to a poset, since each is a left adjoint.

    I think one important axiom of such a theory will be exactness

    Interesting, since one potential way to distinguish a ‘type theory’ from a ‘set theory’ is that the former is usually not exact (so that one must pass to setoids to get an exact set theory).

    @ Harry

    ‘groupoidal categorification’ is a tad long, but it also strikes me as a very clear term.

    • CommentRowNumber17.
    • CommentAuthorHarry Gindi
    • CommentTimeDec 9th 2009
    • (edited Dec 10th 2009)
    If we have that, then we can change laxification to lax categorification, and the notion of a general categorification should encompass both.
    • CommentRowNumber18.
    • CommentAuthorTobyBartels
    • CommentTimeDec 10th 2009

    But laxification is not categorification at all, as I see it. At least not vertical categorification.

    • CommentRowNumber19.
    • CommentAuthorHarry Gindi
    • CommentTimeDec 10th 2009
    There's not really a precise definition of vertical categorification on that page at all. I feel like in a vague way, they are both vertical categorifications, since they both add define structure at the top. I feel like a general categorification should be some kind of "formal linear combination (intentionally vague)" of lax and groupoidal categorifications.
    • CommentRowNumber20.
    • CommentAuthorTobyBartels
    • CommentTimeDec 10th 2009

    Laxification could be done at any level, moving say from a $(3,1)$-category to a $(3,2)$-category, not only at the top. But Mike may feel as you do; see discussion at vertical categorification.