The Unapologetic Mathematician

Mathematics for the interested outsider

Product categories

Often we’ll need to think about functors of more than one variable. When we deal with functions on sets we talk about product sets to handle this. So, naturally, we’ll use product categories here.

Given categories \mathcal{C} and \mathcal{D} we define the product category \mathcal{C}\times\mathcal{D} like we did the direct product of groups and other such algebraic gadgets. We need a category with “projection functors” \Pi_\mathcal{C} and \Pi_\mathcal{D} onto the two categories we start with, and we use a universal property like we did for groups.

Explicitly, we define {\rm Ob}(\mathcal{C}\times\mathcal{D})={\rm Ob}(\mathcal{C})\times{\rm Ob}(\mathcal{D}), and {\rm Mor}(\mathcal{C}\times\mathcal{D})={\rm Mor}(\mathcal{C})\times{\rm Mor}(\mathcal{D}). The source of a pair of morphisms is the pair of objects obtained by taking the source of each morphism, and similarly for the target. Compositions and identities are also defined component-by-component. This shows that such product categories actually do exist.

Now we can define functors of two variables like F:\mathcal{A}\times\mathcal{B}\rightarrow\mathcal{C}. Similarly we can keep going and take the product of three categories (how well is this defined?) and use it to define functors of three variables, and so on.

Notice that morphisms coming from \mathcal{C} and from \mathcal{D} “commute”, in the sense that (f,1_D)\circ(1_C,g)=(f,g)=(1_C,g)\circ(f,1_D). This comes in handy when we’re dealing with functors of more than one variable. Let’s say we’ve got a construction we want to prove is a functor of two variables: F:\mathcal{A}\times\mathcal{B}\rightarrow\mathcal{C}. First we define its value on pairs of objects: F(A,B). Then we define its value on morphisms from one of the input categories at a time: F(f,1_B) and F(1_A,g). Now we check that these two commute: F(f,1_B)\circ F(1_A,g)=F(1_A,g)\circ F(f,1_B). This gives us the value of F(f,g). Finally we check functoriality in each variable: F(f_2,1_B)\circ F(f_1,1_B)=F(f_2\circ f_1,1_B) and F(1_A,g_2)\circ F(1_A,g_1)=F(1_A,g_2\circ g_1). This tells us that
F(f_2,g_2)\circ F(f_1,g_1)=F(f_2,1_B)\circ F(1_A,g_2)\circ F(f_1,1_B)\circ F(1_A,g_1)=
F(f_2,1_B)\circ F(f_1,1_B)\circ F(1_A,g_2)\circ F(1_A,g_1)=F(f_2\circ f_1,1_B)\circ F(1_A,g_2\circ g_1)=
F(f_2\circ f_1,g_2\circ g_1)

To sum this up, a construction going from any number of categories to another is a functor of the product category if and only if it is functorial in each variable and the images of morphisms from distinct input categories all commute. By “functorial in each variable”, I mean that if you pick any objects to stick in all variables of the construction but one, then what’s left is a functor of the remaining variable.

If this seems confusing, don’t worry. We’ll be back soon enough with examples that illustrate how it shows up in practice.

June 1, 2007 Posted by | Category theory | 3 Comments

   

Follow

Get every new post delivered to your Inbox.

Join 391 other followers