Initial Objects

Category theory starts out with a lot of definitions. So let’s jump right in to it.


Let \mathcal C be a category and let I\in Ob(\mathcal C). Now suppose that whenever we have X\in Ob(\mathcal C), there is a unique morphism from I to X. Then we say that I is an initial object of \mathcal C. Let’s see some examples.

  • In the category \textsc{Set} (with sets as objects, and functions as morphisms), the empty set \varnothing is an initial object. Think about it. Take any set S. There is exactly one map f:\varnothing\to S.
  • In the category k\textsc{Vec} (vector spaces over a field k and klinear transformations), the 0-dimensional vector space is an initial object.
  • In the category \textsc{Grp} (groups and group homomorphisms), the trivial group is an initial object.

Not every category has an initial object. The category of non-empty sets with functions as the morphisms is such an example.

Here’s an interesting fact! Initial objects are unique (up to isomorphism).


Suppose \mathcal C is a category, and I,J are initial objects. Then by the initial-ness of I, there is a unique map f:I\to J. By the initial-ness of J, there is a unique map g:J\to I. What happens when we compose them, we get a map g\circ f:I\to I. But I is initial, so there can only be one such map. The identity 1_I is such a map, so g\circ f=1_I. Similarly, f\circ g=1_J, which is exactly the criteria for an isomorphism. This is to say, the following diagram commutes:

Oh, I never said what it means for a diagram to commute. I mean that any way you can get from one place to another by following arrows, the composition of maps you followed produces the same thing. In this case, it says that 1_I and g\circ f are the same, and the analogous statement for the identity morphism 1_J.


Can you guess what type of arrow the \LaTeX package I’m using can’t make?

Anyway, what does this mean? Let’s look in the examples we described. In the category \textsc{Set}, it means that the empty set is the only set that maps into every other set. In the category of vector spaces, it means that the 0-dimensional space is the only space that can map into every other space. In the category of groups, the trivial group is the only one that maps into every other group.

So there you go. Three theorems for the price of one. If we had more examples of initial objects in categories, we’d cover even more ground. None of these proofs would be hard to cover on their own. After all, the proof we just did would have sufficed in a specific category. But now you see the power of this more generalized technique. You can see the similarities between \varnothing, the trivial group, and the 0-dimensional vector space.


3 Responses to Initial Objects

  1. Pingback: Terminal objects « Andy Soffer

  2. Pingback: Duality « Andy Soffer

  3. Pingback: Coproducts « Andy Soffer

Leave a Reply

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

You are commenting using your 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 )

Google+ photo

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

Connecting to %s