Universal Properties II: Comma Categories

In my last post, I spent a good bit trying to get you interested in looking at universal properties.  Hopefully, you’ve read that post, and are still sufficiently interested to continue, because it’s only going to get harder before we see the light.

We left off at defining these special objects in some category C called “initial” and “terminal” objects.  Go read the previous post now if you need a refresher on what they are.

Back now?  Good.  The next object of study is called a comma category, a category that, in a sense, examines a particular category by looking at certain kinds of morphisms in it.  Take that with a grain of salt, please.  Formally, if we have three categories A,B, C, and functors S: \textbf{A} \to \textbf{C} and T: \textbf{B} \to \textbf{C}, the comma category (S \downarrow T) is the category where

  • The objects are triples (\alpha, \beta, f) with \alpha \in \text{Ob}(\textbf{A}),  \beta \in \text{Ob}(\textbf{B}), and f: S(\alpha) \to T(\beta) is a morphism in C.
  • The morphisms are pairs (g,h): (\alpha, \beta, f) \to (\alpha',\beta',f') with g: \alpha \to \alpha' in A and h: \beta \to \beta' in B, such that T(h) \circ f = f' \circ S(g).
  • Composition of morphisms is done component-wise.  Thus if (g,h) : (\alpha,\beta,f) \to (\alpha',\beta',f') and (g',h') : (\alpha',\beta',f') \to (\alpha'',\beta'',f''), then (g',h') \circ (g,h) := (g' \circ g, h' \circ h).

Now, as far as I’ve seen, one most often comes across comma category theory through a select few vast simplifications.

The Slice Category

Let A = 1, the category with only one object (usually denoted * and one morphism, the identity map.  Then a functor from 1 to any other category C simply “picks out” an object of C.  That is, S : \textbf{1} \to \textbf{C} is uniquely determined by the image of *, say S(*) = X.  

In the definition of a comma category, we need three categories.  Let C be any category, and suppose B = C.  let Id_C: \textbf{C} \to \textbf{C} be the indentity functor.  Then our three categories are 1,C, and C.  The comma category (S \downarrow Id_C) is most often written as X/ C, and is called the slice category and can be seen as the category of “objects of C ‘under’ X.”  Specifically:

  • The objects of X/C are triples (*, \beta, f), with f: S(*) \to T(\beta), with \beta an object of T.  The objects are usually simplified to (\beta,f), since * is the only object in 1.
  • The morphisms are F: (\beta, f) \to (\gamma, g), with F: \beta \to \gamma a morphism in C such that F \circ f = g.
  • Composition is defined in the only natural way (it’s a trivial exercise to check).

One can, of course, define the co-slice category which is the same as the slice category, except the directions of all the arrows are reversed.  These are the “objects ‘over’ X.”

Remember the category of “pointed topological spaces” from before?  It turns out that this is actually a comma category!  Let S : \textbf{1} \to \textbf{Top} be the functor with value S(*) = \{pt\}=p any singleton set p.  Then the category p/ \textbf{Top} has objects (X, f) with X a topological space and f: p \to X an inclusion of a point into X.  We can then make the obvious identification (X,f) \cong (X, f(p)).  The morphisms here are precisely the basepoint preserving ones.

Here’s another cool example: Let  be a category with an initial object x.  Then I want to show that x/ \textbf{C} is “isomorphic as a category” to C.  I haven’t yet defined what that means, sorry.  It just means that there are functors U: x/ \textbf{C} \to \textbf{C} and T: \textbf{C} \to x/ \textbf{C} such that T \circ U = Id_{x/\textbf{C}} and U \circ T= Id_{\textbf{C}}.  Anyway, let U: x/\textbf{C} \to \textbf{C} be the functor that sends each pair (\beta, f) to the C-object \beta, and each morphism h: (\beta, f) \to (\beta',f') to the map h: \beta \to \beta'.  This is another instance of a “forgetful functor,” by the way.

Since x is an initial object, for any other C-object \beta there is one and only one morphism f: x \to \beta.  With this in mind, we define T: \textbf{C} \to x/\textbf{C} via T(\beta) = (\beta,f: x \to \beta), and for any morphism g: \beta \to \beta', T(g) = g : (\beta, f) \to (\beta',f').  It’s then trivial to check that these functors compose to get the identity functors on both sides.  Therefore they are isomorphic.

Obviously the dual statement holds for categories C with a terminal object y and the co-slice category $\textbf{C}/y$.  (note: I owe these above cool examples to this fantastic post: http://drexel28.wordpress.com/2012/01/10/comma-categories-pt-i/.  You should really visit this guy’s blog.)

Almost Slice Categories

Let’s step up the abstraction a bit.  Let C and D be two categories, and let U: \textbf{D} \to \textbf{C} be a functor.  Let S: \textbf{1} \to \textbf{C} be the functor that picks out a C-object X.  Then the comma category (S \downarrow U), written most often as (X \downarrow U), is the category of “morphisms from X to U” (so sayeth the wiki page).  You can think of these as (almost) slice categories, in that X is now “over” objects of the form U(\beta) for \beta an object in D instead of just all C-objects.

Remember the example of the kernel of a group homomorphism \varphi: G \to H? We can now almost talk about that whole business of “the largest group that is killed off by \varphi.”   let D be the subcategory of Grp whose objects are groups K such that for any group homomorphism f: K \to G, the composition \varphi \circ f is the zero map to H.  The morphisms are simply those induced by the parent category Grp.

Then if we let S: \textbf{1} \to \textbf{Grp} pick out G, and U : \textbf{D} \to \textbf{Grp} be the functor that sends each object and morphism of D to itself, then (G \downarrow U) is the category that simply “pairs off” groups K and morphisms $i_K : K \to G$ such that \varphi \circ i_K = 0_H.

What would a terminal object be in (G \downarrow U)? 🙂  Try to find it!


Published by brianhepler

I'm a third-year math postdoc at the University of Wisconsin-Madison, where I work as a member of the geometry and topology research group. Generally speaking, I think math is pretty neat; and, if you give me the chance, I'll talk your ear off. Especially the more abstract stuff. It's really hard to communicate that love with the general population, but I'm going to do my best to show you a world of pure imagination.

2 thoughts on “Universal Properties II: Comma Categories

  1. I think you mean to define your functor from A to C as S. Otherwise I have no clue what the definition of the comma category is.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

%d bloggers like this: