Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

June 7, 2010

Tensor Categories in Fredericton

Posted by Mike Shulman

While other people are having fun at QPL in Oxford, a bunch of us have been having our own fun on the other side of the pond, at a special session on “Tensor categories” at the summer meeting of the Canadian Mathematical Society in Fredericton, New Brunswick. I thought I’d share a few of the highlights that might be of most interest to you all.

  • First, in old news for cafe regulars, Geoff Cruttwell talked about our work on generalized multicategories, and I talked about extraordinary multicategories (you can see my slides here). Claudio Hermida was kind enough to point out that in general, the good notion of “partial category” is a paracategory, where the partially defined composition is “unbiased” (although it doesn’t make a whole lot of difference in the case I needed for extraordinary multicategories).

  • Jeff Egger proposed an equivalent definition of dagger category and dagger compact closed category which is “non-evil”, in that it can be expressed as structure on a category without needing to talk about equality of objects. I didn’t quite follow the details, but it had something to do with the covariant “conjugation” endofunctor of Hilb.

  • Micah McCurdy described a new version of string diagram calculus for monoidal functors. The more traditional notation involves putting a box around things when you apply a functor to them, whereas his new notation involves “bathing” things in a conduit of color. There were lots of slides with pretty pictures; I hope these will be online sometime.

  • Susan Niefield described a generalization of the “gluing construction” to double categories, including a double category of topological spaces which may never have been considered before. The idea is this: suppose DD is a double category, CC is an ordinary category, and f:CVDf:C\to V D is a normal lax 2-functor from CC to the vertical 2-category of DD. Here the vertical 2-category is the “proarrow” direction, so ff is landing in spans, profunctors, relations, etc. Then we can ask about a double-categorical “lax colimit” Γf\Gamma f of ff, which has a universal property relative to horizontal arrows and 2-cells; call this the gluing of ff.

    When DD consists of categories, functors, and profunctors and CC is the interval category, then this gluing Γf\Gamma f is precisely the collage of a profunctor. For this DD and other CC, it is a suitable generalization. In fact, however, it is known that for any category CC, normal lax functors from CC to the bicategory ProfProf are the same as arbitrary categories over CC; this generalizes the Grothendieck construction which identifies pseudo functors landing in CatCat with (op)fibrations over CC. (Pseudo functors landing in ProfProf can be identified with Conduche functors.) Moreover, in this case CC itself is Γ\Gamma of the functor constant at the terminal object; thus we have Lax(C,VD)HD/Γ1Lax(C,V D) \simeq H D / \Gamma 1.

    Now consider a different DD, whose objects are topological spaces, whose horizontal arrows are continuous maps, and whose vertical arrows XYX\to Y are finite-meet-preserving functions O(X)O(Y)O(X) \to O(Y). The versions of this double category for toposes and locales are well-known, and presumably there is a generalization to ionads. Here the gluing construction is a version of the well-known construction for toposes, and it turns out to also induce an equivalence Lax(C,VD)HD/Γ1Lax(C,V D) \simeq H D / \Gamma 1 as long as CC is a finite poset (and also a bit more generally). In this case Γ1\Gamma 1 is the Alexandrov topology of CC. In particular, if CC is the interval category then Γ1\Gamma 1 is the Sierpinski space 𝕊\mathbb{S} (the two-point space with one open point), and a space over 𝕊\mathbb{S} is just a space with a specified open subset. In this case we recover the “classical” gluing construction which reconstructs a space from an open subspace, its complementary closed subspace, and “gluing data” consisting of a left-exact functor between their posets of opens (or equivalently their categories of sheaves). This double category also has other nice properties; for instance, the “Cauchy complete objects” are precisely the sober spaces.

    Since all of these double categories arise from codiscrete cofibrations in some 2-category, I wonder whether there is some underlying general principle at work. Susan was motivated by seeing connections to exponentiability in both cases as well.

  • Finally, Michael Makkai proposed a definition of semistrict ω\omega-category. The idea is quite simple really. Start with a definition of strict ω\omega-category which takes whiskering as a basic operation. I believe this is described in his paper The word problem for computads. There is one basic operation \cdot which acts on two cells of dimensions mm and nn, which share a boundary of dimension min(m,n)1min(m,n)-1. Thus we can compose two 2-cells along a 1-cell, but not along a 0-cell, and we can whisker a 3-cell with a 2-cell along a 1-cell or a 3-cell with a 1-cell along a 0-cell. The axioms are quite pretty too: there is an associativity axiom a(bc)=(ab)ca\cdot (b\cdot c) = (a\cdot b)\cdot c whenever both sides parse, a distributivity axiom a(bc)=(ab)(ac)a\cdot (b\cdot c) = (a\cdot b) \cdot (a\cdot c) also whenever both sides parse (these conditions being disjoint from those which make associativity parse), and a commutativity axiom which essentially states the interchange law.

    Now, we simply remove the commutativity axiom; this gives a structure which he called an ω \omega^--category, which is a higher version of a “sesquicategory.” Then you can add, inductively, a sequence of new operations which specify mediating cells where the commutativity axiom would have been, and higher coherences for this; the general pattern of these is apparently not difficult to guess. It seems very intuitively appealing as a “higher sort of Gray-category”, but of course the question is completely open of whether it is actually “semistrict” in the sense of being the target of a semistrictification theorem.

    There is also a question of whether the new mediating cells can be required to be isomorphisms (which is what he originally proposed in the talk), or equivalences (in which case you would really need to specify their adjoint inverses too, and lots more axioms, at least if you want it to be fully algebraic). My gut feeling is that isomorphisms will be too strict, but I can’t think of any actual evidence. I asked this on MO last night, and it had 10 upvotes by the morning, but no answers. Any takers?

Posted at June 7, 2010 12:30 AM UTC

TrackBack URL for this Entry:   https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/2223

4 Comments & 0 Trackbacks

Re: Tensor Categories in Fredericton

The full program is here.

Posted by: David Corfield on June 7, 2010 8:59 AM | Permalink | Reply to this

Re: Tensor Categories in Fredericton

Ooh, it would be interesting to see those slides of Micah McCurdy…

Posted by: Bruce Bartlett on June 7, 2010 11:21 AM | Permalink | Reply to this

Re: Tensor Categories in Fredericton

Actually I was thinking of Jeff Egger’s - the ‘non-evil definition of a dagger (compact) category’ discussion on the categories mailing list was fascinating in who and what it brought out. It would be nice to see the solution. Perhaps a friendly participant can (with Jeff’s permission) put it on the nlab?

Posted by: David Roberts on June 8, 2010 3:16 AM | Permalink | Reply to this

Re: Tensor Categories in Fredericton

G’day all.

Those hoping for slides of mine can find them on my freshly minted and lavendered website.

Posted by: Micah Blake McCurdy on August 3, 2010 12:41 AM | Permalink | Reply to this

Post a New Comment