The Unapologetic Mathematician

Mathematics for the interested outsider

Free Monoid Objects

When we have an algebraic concept described as a set with extra structure, the morphisms between such structured sets are usually structure-preserving functions between the underlying sets. This gives us a “forgetful” functor which returns the underlying sets and functions. Then as we saw, we often have a left adjoint to this forgetful functor giving the “free” structure generated by a set.

But now that we’re talking about monoid objects we’re trying not to think about sets. A monoid object in \mathcal{C} is a monoidal functor from \mathrm{Th}(\mathbf{Mon}) to \mathcal{C}, and a “homomorphism” of such monoid objects is a monoidal natural transformation. But the object part of such a functor is specified by one object of \mathcal{C} — the image of M\in\mathrm{Th}(\mathbf{Mon}) — which we can reasonably call the “underlying object” of the monoid object. Similarly, a natural transformation will be specified by a morphism between the underlying objects (subject to naturality conditions, of course). That is, we have a “forgetful functor” from monoid objects in \mathcal{C} to \mathcal{C} itself. And a reasonable notion of a “free” monoid object will be a left adjoint to this functor.

Now, if the monoidal category \mathcal{C} has coproducts indexed by the natural numbers, and if the functors C\otimes\underline{\hphantom{X}} and \underline{\hphantom{X}}\otimes C preserve these coproducts for all objects C\in\mathcal{C}, then the forgetful functor above will have a left adjoint. To say that the monoidal structure preserves these coproducts is to say that the following “distributive laws” hold:

\coprod\limits_n(A\otimes B_n)\cong A\otimes\biggl(\coprod\limits_nB_n\biggr)
\coprod\limits_n(A_n\otimes B)\cong\biggl(\coprod\limits_nA_n\biggr)\otimes B

For any object C\in\mathcal{C} we can define the “free monoid object on C” to be \coprod\limits_nC^{\otimes n}, equipped with certain multiplication and unit morphisms. For the unit, we will use the inclusion morphism C^{\otimes0}\rightarrow\coprod\limits_nC^{\otimes n} that comes for free with the coproduct. The multiplication will take a bit more work.

Given any natural numbers m and n, the object C^{\otimes m}\otimes C^{\otimes n} is canonically isomorphic to C^{\otimes m+n}, which then includes into \coprod\limits_kC^{\otimes k} using the coproduct morphisms. But this object also includes into \coprod\limits_{i,j}(C^{\otimes i}\otimes C^{\otimes j}), which is isomorphic to \biggl(\coprod\limits_iC^{\otimes i}\biggr)\otimes\biggl(\coprod\limits_jC^{\otimes j}\biggr). Thus by the universal property of coproducts there is a unique morphism \mu:\biggl(\coprod\limits_iC^{\otimes i}\biggr)\otimes\biggl(\coprod\limits_jC^{\otimes j}\biggr)\rightarrow\biggl(\coprod\limits_kC^{\otimes k}\biggr). This is our multiplication.

Proving that these two morphisms satisfy the associativity and identity relations is straightforward, though somewhat tedious. Thus we have a monoid object in \mathcal{C}. The inclusion C=C^{\otimes1}\rightarrow\coprod\limits_nC^{\otimes n} defines a universal arrow from C to the forgetful functor, and so we have an adjunction.

So what does this look like in \mathbf{Set}? The free monoid object on a set S will consist of the coproduct (disjoint union) of the sets of ordered n-tuples of elements of S. The unit will be the unique {0}-tuple (), and I’ll leave it to you to verify that the multiplication defined above becomes concatenation in this context. And thus we recover the usual notion of a free monoid.

One thing I slightly glossed over is showing that \mathbf{Set} satisfies the hypotheses of our construction. It works here for the same reason it will work in many other contexts: \mathbf{Set} is a closed category. Given any closed category with countable coproducts, the functor C\otimes\underline{\hphantom{X}} has a right adjoint by definition. And thus it preserves all colimits which might exist. In particular, it preserves the countable coproducts, which is what the construction requires. The other functor preserves these coproducts as well because the category is symmetric — tensoring by C on the left and tensoring by C on the right are naturally isomorphic. Thus we have free monoid objects in any closed category with countable coproducts.


August 2, 2007 Posted by | Category theory | 2 Comments

(More!) Shameless Self-Promotion

It’s August now, and the fall semester approaches apace. That can mean only one thing: it’s time to sell my body talks!

  • Functors extending the Kauffman Bracket
    The Kauffman Bracket is a family of invariants of knots and links up to regular isotopy taking their values in commutative rings, and defined by a “skein theory”. We want to find monoidal functors defined on the category \mathcal{F}r\mathcal{T}ang of framed tangles so that if we restrict the functors to knots and links we recover (essentially) the old invariants. This approach highlights the fact that “skein theories” are actually just generating sets for monoidal categorical ideals, and that the skein-theoretic approach to knot invariants is another branch of representation theory.
    We thus study the representation theory of R-linearizations of the category of framed tangles, and of the Temperley-Lieb categories \mathcal{TL}_\delta(R). We show that the representation theory of these categories is equivalent to the theory of (non-symmetric) nondegenerate bilinear forms over R.
  • Spans: A (Braided) (Monoidal) Bicategory (with Duals)
    The most famous braided monoidal bicategory with duals is the “universal” such category: that of tangles, or of 2-tangles up to isotopy. Slightly less well-known are the bicategories arising from knot homology theories. Still, the question is asked, “where are the braided monoidal bicategories with duals?”
    One way to produce a bicategory with such extra structure is to consider the bicategory of spans on a category with the analogous such structures. In this talk, we discuss the span construction (and its dual, cospans) and show how well-behaved monoidal structures, braidings, and dualities lift to the bicategory of spans.
  • The Tangle Group
    The group of a knot or link is a well-known invariant of ambient isotopy. We would like to extend this invariant to a monoidal functor \Gamma on the category \mathcal{T}ang of tangles in such a way that when we restrict \Gamma to knots and links we recover (essentially) the old knot group.
    Here, we define a monoidal bifunctor from the bicategory of (tangles, isotopies) to the bicategory of cospans of groups, and show how the restriction of the decategorification of this bifunctor to knots and links reproduces the knot group. We also indicate how the use of cospans immediately applies to generalize the fundamental quandle of a link, the fundamental biquandle of a virtual link, and other such invariants.
  • A Categorification of Quandle Coloring Numbers by Anafunctors
    The number of colorings of a link by a given quandle is a classical invariant of links up to ambient isotopy. We would like to categorify and extend this invariant to the category \mathcal{T}ang of tangles.
    Here, we show how to associate, functorially, to each tangle an anafunctor between two comma categories of quandles. When we restrict this assignment to knots and links and specify a quandle Q of colors we recover Q-coloring invariant. If we first decategorify and specify a quandle Q of colors we recover the Q-coloring matrix of a given tangle.
    This approach can be significantly generalized. We indicate the existence of a similar “\mathcal{C}-coloring” invariant for any co-\mathcal{C} object in the category of pointed topological pairs up to homotopy.

And now some comments. Generally, these abstracts apply to the highest-level version of each talk. I can tweak any of them down a bit, mostly to adjust for familiarity of the audience with categories and with knot theory.

The Kauffman Bracket talk is probably the most straightforward. It clearly highlights the relationship between skein theory and representation theory. Its primary interest is in this connection, and in the fact that it lays the groundwork for parallel categorifications of the Kauffman Bracket to Khovanov homology.

The talk on spans is, strictly speaking, spun off of my work on tangle groups. More explicitly, once you set things up in terms of cospans, extending the knot group to the tangle group becomes effortless. This talk, though, focuses on how spans and cospans are good tools for moving “up the ladder” of categorical structures, bringing lower-level structures along with them. This talk, it should be noted, is very preliminary, as I’m in the process of writing some of these things down.

The knot group talk should be clear to an algebraic topology audience. It’s really the genesis of the use of cospans in the study of tangles For audiences more familiar with knot theory in particular, I can do the whole thing from the get-go in quandles.

The quandle talk really isn’t that abstract when it comes down to it, but it uses a number of tools possibly unfamiliar to the general mathematical audience. In fact, a good part of it is devoted to getting the definitions down straight. Once they’re in place, the whole structure just sort of builds itself, which is how I really like my mathematics to go. The caveat, then, is that the audience really does need to either be interested in knot theory already, or somewhat familiar with and friendly towards categories. Otherwise it’s really tough to motivate the material and to cover it within the usual microcentury.

I could possibly put the latter two together in a pair of lectures, since the quandle coloring invariant is a direct outgrowth of the fundamental quandle of a tangle. That would also make it a bit easier to motivate the second half, so it may well go more smoothly as a pair to a more general audience.

So, if your department is looking to fill a slot in an algebraic topology (or “quantum topology”, as they’re calling this stuff now) or a category theory seminar, let’s talk. Clearly the easier it is for me to get there from New Orleans the easier it will be to make arrangements. Also, though I’ve gotten used to paying out of pocket for these things, assistance in travel would also be helpful.

I am particularly looking for an engagement in the Baltimore/Washington D.C. area around the weekend of October 6, so that gets high priority.

August 2, 2007 Posted by | Uncategorized | 5 Comments