Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Hi,

In a strict monoidal category, where the associator, left and right unitor are identity morphisms we have the following relations between (string) diagrams:

where $i_x$ and $e_x$ are the unit and counit isomorphisms.

For the first relation for example, the LHS starts by $1\otimes x$ and goes to $x\otimes 1$, but the two are really the same object $x$ since we're in a stirct monidal category, so we go from $x$ to $x$, which is exactly what happens in the RHS.

What I don't understand, is why such equalities are still valid in a weakened monoidal category, where now $x\otimes 1$ and $1\otimes x$ are merely isomorphic.

share|improve this question
add comment

1 Answer 1

up vote 12 down vote accepted

The validity of string diagram equalities should be viewed as a form of coherence. What does an equality of two string diagrams tell us? Well, given such an equality, we can fix an arbitrary parenthesization and unitization of the input and the output. The associators and unitors are suppressed in a string diagram with the understanding that any two valid ways of adding them in give the same morphism. So in your example of the first zig-zag diagram, we can take both the input and output to be $x$, in which case the right-hand side is just the identity, and the left-hand side is given by the composite

$$x \stackrel{\lambda_x^{-1}}{\to} 1 \otimes x \stackrel{i_x \otimes x}{\to} (x \otimes x^{\vee}) \otimes x \stackrel{\alpha_{x, x^{\vee}, x}}{\to} x \otimes (x^{\vee} \otimes x) \stackrel{x \otimes e_x}{\to} x \otimes 1 \stackrel{\rho_x}{\to} x.$$

Here I've added associators and unitors where needed to get domains and codomains of morphisms to match up; I can do this with the confidence that had I chosen another way of adding associators and unitors, the composite morphism would be the same. This is what coherence tells us.

On the other hand, we could take the input to be $1 \otimes x$ and the output to be $x \otimes 1$. In this case, the right-hand side would represent the morphism $$1 \otimes x \stackrel{\lambda_x}{\to} x \stackrel{\rho_x^{-1}}{\to} x \otimes 1,$$ while the left-hand side would be given by $$1 \otimes x \stackrel{i_x \otimes x}{\to} (x \otimes x^{\vee}) \otimes x \stackrel{\alpha_{x, x^{\vee}, x}}{\to} x \otimes (x^{\vee} \otimes x) \stackrel{x \otimes e_x}{\to} x \otimes 1.$$

Of course, there are infinitely many possible choices of input and output, since I can just tensor 1 arbitrarily many times on the right and left and parenthesize this however I want. But once I fix a choice of input and output, each string diagram defines an unambiguous morphism.

share|improve this answer
    
So if i understand correctly, associators and unitors are suppressed from the diagrams because, for example, to pass from $(x \otimes x) \otimes 1 \otimes (x \otimes 1 \otimes x)$ to $((x \otimes x) \otimes x) \otimes x$ there is only one way, one isomorphism, thanks to the coherence law. –  Pedro Aug 8 '12 at 18:58
3  
@Pedro - this is correct, when the isomorphism is built from structure maps (associator, unitor etc). –  David Roberts Aug 13 '12 at 4:22
1  
Btw, string diagram are a way to describe compositions in 2-categories (see e.g. math.wisc.edu/~andreic/publications/Mukai1.pdf ). They are not a specificity of monoidal categories (which are nothing but 2-categories with a single object). –  DamienC Aug 13 '12 at 14:38
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.