Mathematics for the interested outsider

Categories

Like groups, rings, modules, and other algebraic constructs, we define a category by laying out what’s in it, and how those things relate to each other.

The first difference that gives some people pause is that we don’t start with a set, but a class. Classes are pretty much like sets, but they can be “bigger”. In particular, we sometimes run into technical problems with sets containing other sets, so we introduce classes as things that can hold any sort of sets with no problem. Of course we’ve only pushed back the problem to when we might want to collect classes together, but we’ll burn that bridge when we come to it.

Anyhow, there’s really nothing that bad about basing an algebraic structure on a class. There are perfectly good reasons (we’ll see) for putting a ring structure on a class. In this case we call the result a “large ring”. On the other hand, when every class involved in a category is a set, we call it a “small category”. Seriously, it’s not as big a deal as people seem to think.

Okay, that out of the way; a category consists of two classes: the “objects” and the “morphisms”, or sometimes “points” and “arrows”. These are denoted and , respectively.

Every morphism has a “source” and a “target” object: and . If a morphism has source and target we often write . The class of all morphisms in with source and target is written , or just if the category is understood. If all these “hom-classes” are actually sets, we say the category is “locally small”. Most of the categories we consider will be locally small, and I’ll just use this assumption without mentioning it explicitly.

Given any three objects , , and , we have an operation of “composition”: . We think of this as taking an arrow from to and one from to and joining them tip-to-tail to make an arrow from to . This composition must be associative — the following diagram commutes:

Also, every object has an “identity” morphism so that for all and for all .

We can see that this looks a lot like the definition of a monoid, and for good reason: a monoid is “just” a (small) category with a single object. Walk through the definitions and say that there’s only one object. You’ll see that every morphism has the same source and target, so they can all be composed with each other. Then we’ve got a set of morphisms equipped with an associative composition with an identity element — a monoid!

The most commonly seen use of categories is to describe other algebraic structures. The standard example here (which will motivate much of our later definitions) is : the category of sets. This has as objects the class of all sets (which can’t itself be a set). The morphisms are all functions .

Similarly, we have the categories — groups — — rings with identity — — left -modules — and so on. Each of these categories has as objects the class of all the apropriate algebraic structures, and as morphisms all homomorphisms of those structures.

As a more concrete example, consider a ring with unit. We construct a small category as follows: take as objects the set of natural numbers. The morphisms are all matrices with entries in . The composition is regular matrix multiplication, and the identity on the object is the identity matrix.

Another great example of a category is a preorder. Given a preorder we take the set of elements as the objects of our category. Then we say that there is a single morphism in if and no morphisms in the hom-set otherwise. Reflexivity tells us that there is a morphism in for every object which can serve as an identity, and transitivity tells us that if there’s a morphism in and one in , then there’s one in which can serve as their composite.

For a good while we’ll be giving a lot of definitions of concepts in the language of categories, usually motivated from the category of sets. Category theory gets a bad rap as involving a lot of definitions, but the language really does streamline a lot of thought about mathematics, so it’s worth picking up a basic fluency. Everything I’ll define in this first series I’ve actually already given good examples of in special cases, so the motivation should be apparent. We’ll see them coming up again and again in later work, which (I hope) will help lead to a comprehension of later mathematical concepts by analogy from the simpler concepts in algebra.

Has anyone ever written an idiot’s guide to the safe use of proper classes? cartesian products and `large functions’ such as source and target for arrows are OK, exponentials are not, but I’ve never seen it all laid out for beginners or lazy people. Quine’s book on the logic of set theory and Paul Taylor’s practical foundations book look to me like they might be useful sources, but I haven’t managed to muster up the time and determination to slog through them.

Christian, I may eventually put these together into an old-fashioned PDF, or an older-fashioned book, even. But first I’m trying to get some original work out so I don’t mark myself as an expositor before I get my research program started.

That’s unfortunately all too realistic a concern! Actually I think there’s something to be said for the ‘small chunk at a time’ format here, tho it would be nice if there were an easier way to print them out without the comment-addition facility (what I do is use pdf creator to print the whole thing to pdf, then prinout out the useful stuff from that).

These course notes by Barr and Wells are pretty decent (and their book with 600 solved exercises is certainly worth the modest price, it seems to me).

[…] to mention a topic I thought I’d hit back when we talked about adjoint functors. We know that every poset is a category, with the elements as objects and a single arrow from to if . Functors between such categories […]

[…] containment of open subsets of a topological space constitutes a partial order, and thus defines a category . The objects are the open sets themselves, and there is a unique arrow from to if . If we look […]

About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.