Spans and Cospans II
There’s something we need to note about spans that will come in extremely handy as we start trying to add structure to our categories of spans.
Remember that we’re starting with a category with pullbacks, and from this we construct the weak 2-category . It turns out that we can find inside . First of all, we consider as a 2-category itself by our usual trick of considering a set as a category — to every morphism in , just add one identity 2-morphism and nothing else.
Now we’re going to need an inclusion 2-functor. We could just look for it to preserve compositions up to some natural 2-morphism, but we can actually get preservation on the nose. Just send to the span , where the left arrow is the identity on and the right arrow is . The composite of two such spans looks like this:
Clearly the identity arrow in is sent to the identity span. Since there are only identity 2-morphisms in , their image under the inclusion is obvious.
This inclusion has a number of nice properties. First off, it’s always faithful. Clearly two such spans are the same only if the original arrows were the same. But we can even go further to assert that if two spans in the image of the inclusion are even related by a 2-morphism, they have to be from the same arrow in . Indeed, here’s the diagram:
The only possible arrow in the middle that makes the left triangle commute is the identity, and then the right triangle can only commute if .
On the other hand, the inclusion is almost never full, even if we only ask for “essential” fullness. Indeed, if there’s any non-identity arrow then we could use it on the left of a span to make something that can’t be in the image. On the other hand, if we ask that every span have a 2-morphism from something in the image we find the diagram:
Here we can always pick to make the right side commute as long as we can find an arrow in the middle that makes the left side commute. But that would mean that every arrow in has an arrow with . That is, every single arrow in would have to be a surjection, which is far too much to ask. And at the level of 2-morphisms there’s not nearly enough in the image to be full.
So the category sits inside the 2-category as a sub-2-category. This means (roughly) that if we get some structure on there must be a corresponding structure on itself by restriction. Then we can turn around and try to extend structures on to the whole of . I’ve worked out some of the basic examples, which I’ll start in on tomorrow. But some of the interesting ones I’ll be working out as I write them up, so this should prove interesting indeed.
No comments yet.