Category Theory – Basic Definitions

There are certain ideas that are common across many areas of mathematics.  Regardless of whether we’re talking about vector spaces, topological spaces, groups, or simply sets, we have some notion of a mapping between entities in that space.  In the case of sets we may require nothing more than that the maps be well-defined, whereas with groups or vector spaces we may also require that the map preserves some structure.  For example, when discussing maps between vector spaces we may require linearity (e.g., a linear transformation); for groups we may require that the map respects the group operation (homomorphisms).  In either case, we may place some other requirements on the maps that do not require the structure of the space.  In set-theoretic terms, we may concern ourselves with maps that are injective (one-to-one; for each output, there is only one input); that are surjective (there is an input that will give each possible output), or both (bijective).  The language and ideas of category theory allow us to generalize this common notion and also to explore consequences of the requirements we place on these maps.

A category is a class of objects and a class of morphisms between those objects that satisfy certain properties.  Before discussing those properties it should be noted that though in many instances morphisms will be actual maps or functions, they don’t necessarily have to be.  We may in fact think of a category simply as a directed graph, where the vertices are objects and the edges are morphisms.  Here there is no structure or mapping quality of the morphisms, they are just “arrows” that start at one object and end at another.

Collectively, the class of objects of the category is referred to as , and the class of morphisms as .  To refer to the collection of morphisms whose source is the object and whose target is the object , we write (or just if the category is clear from the context).  The morphisms of must satisfy the following.

1. For each there is an identity morphism from that object to itself.  That is, there is a with the property that for any and such that and .
2. Composition of morphisms yields a morphism:  if and , then there is a morphism, .
3. Composition of morphisms is associative:  if , , and are morphisms, then .

For example, the following diagram could be taken as the definition of a category .

In this category we have three objects, , , and .   In addition to the identity morphisms, we have an , a , and their composition.

Advertisements