## Braidings on Span 2-Categories

Now that we can add a monoidal structure to our 2-category of spans, we want to add something like a braiding.

So, what’s a braided monoidal 2-category? Again, we need some data:

- For any objects and an equivalence called the “braiding” of and .
- For any 1-morphism and object , a 2-isomorphism called the braiding of and .
- For any object and morphism , a 2-isomorphism called the braiding of and .
- For any objects , , and , 2-isomorphisms and called the “braiding coherence 2-morphisms”.

We define the braiding to be an equivalence rather than an isomorphism because we don’t want to ask it to be exactly invertible. That is, there will be another 1-morphism with 2-isomorphisms and . The 2-isomorphisms braiding objects with 1-morphisms act in the place of naturality relations, allowing us to pull 1-morphisms back and forth through the object braiding. And then the hexagon identities from the definition of a braiding in a 1-category are now weakened to the braiding coherence 2-morphisms.

So, where are we going to find this structure for our bicategory ? Well, let’s assume we have a braiding on . Then we’ll just define to be the span . This is actually a 1-isomorphism, using the obvious inverse.

As we saw before with the tensorator, it turns out that we can set all of the and the to be the appropriate identities, as well as all the braiding coherence relations. Requiring the the monoidal product on preserve pullbacks turns out to be an extremely powerful condition!

And now what are the conditions that make this data into a braided monoidal 2-category?

- For 1-morphisms and , we have

- For any 1-morphisms and , 2-morphism , and object , we have

- For any 1-morphisms and , 2-morphism , and object , we have

- For any 1-morphisms and and object , we have

- For any 1-morphisms and and object , we have

- For any objects , , and , and 1-morphism , we have

- There are five more conditions like the last one, with the 1-morphism in other slots and different associations of the three terms.
- For any objects , , , , we have

- There are two more conditions like the last one, corresponding to different ways of associating the four terms.
- For any objects , , and , we have

. - , , and are each the identity whenever one of their slots is filled with the unit object .

Now in our currrent situation, almost all the structure here is trivial, and we have proofs to match! Specifically, all of the 2-morphisms that show up here are just the identities for various 1-morphisms. That is, they move between different ways of writing the same 1-morphism. For example, the first condition just reduces to saying that the composite of three applications of the identity 2-morphism on the span are the same as three other applications of the identity on the same span. And on and on they go, identities on identities, and there’s ultimately nothing to do here.

So the upshot is that if we have a braiding on , then is a braided monoidal 2-category. Dually, gets this structure if is a braided monoidal category with pushouts preserved by the monoidal product.