An example of an enriched category
Sorry for the delay, but the cable setup took more than I’d expected (there will me more on this over at Yankee Freak-Out). Today, I’d like to run through an example of a monoidal category, and what sort of enriched categories it gives rise to.
The category I’m interested in is the ordinal . Remember that this consists of the objects and , with one non-identity arrow . We can make this into a monoidal category by saying . Then is the monoidal identity object.
So what is a category enriched over ? Well, first it has a collection of objects. For each pair of objects we either have the hom-object or .
To have “identity morphisms” means we need an arrow for each object . But the only such arrow in is , so . For composition, we need arrows . Thus if and are both , then so must be .
Now we can see that this is just a different way of talking about a preorder. The identity morphism corresponds to the reflexive axiom, and the composition morphism corresponds to the transitive action. In short: if and only if .
Another example I’ve seen bandied about uses the category of “pointed sets”. This is just a set with an identified “point”. For example, is a pointed set, and is a different pointed set. The morphisms are “pointed functions”, which have to preserve the point — a morphism consists of a function with . This category has finite products, so it’s monoidal.
The usual statement is that categories enriched over are the same as categories with “zero morphisms”. These are like categories with zero objects, but without needing an object to factor things through. Every hom-set has a special “zero” morphism, and the composition of a zero morphism with any other morphism is another zero morphism. The problem is, whenever I try to show this it doesn’t seem to work out. I think that there’s something askew or oversimplified with the statement somewhere.
Your mission, should you choose to accept it, is to figure out what the right statement is, and to prove it. Let me know by email (if you can’t find my email you aren’t trying very hard) and I’ll post it up for all to see, and for your own greater glory.