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

Let $({\cal C},\otimes)$ be a monoidal category, $X$ an object in ${\cal C}$, and $\Psi:X \otimes X \to X \otimes X$ an isomorphism such that $\Psi$ satisfies the braid relation: $$ (\Psi \otimes \text{id}) \circ (\text{id} \otimes \Psi) \circ (\Psi \otimes \text{id}) = (\text{id} \otimes \Psi) \circ (\Psi \otimes \text{id}) \circ (\text{id} \otimes \Psi). $$ What would one call such an isomorphism? The most obvious suggestion is to call it a braiding for $X$. Might this be taken to imply that $\Psi$ comes from a braiding for the category (which I do not want to assume)?

share|improve this question
1  
I think you can just call it a braiding. You might just add in a disclaimer to say that you are not assuming that the category itself is braided. I don't think I have ever heard another term used for a map satisfying that relation. –  MTS Oct 21 '11 at 16:27
1  
Are you sure you don't want $\Psi$ to be an automorphism of $X \otimes X$? –  S. Carnahan Oct 21 '11 at 16:39
    
Yes, of course. –  Réamonn Ó Buachalla Oct 21 '11 at 17:19
2  
It is a braiding on the subcategory it generates... –  Noah Snyder Oct 21 '11 at 17:24
add comment

1 Answer

up vote 11 down vote accepted

Assuming S. Carnahan's surmise in his comment is correct, I believe the correct term for this is "Yang-Baxter" operator in a monoidal category (or, you could call an object $X$ equipped with such an automorphism $R: X \otimes X \to X \otimes X$ a Yang-Baxter object). This terminology is given in the seminal paper on the subject, Braided Tensor Categories by Joyal and Street (Adv. Math. 102, pp. 20-78, 1993).

In particular, as observed by Joyal and Street, the braid category can be characterized as the free (i.e., initial in a 2-categorical sense) monoidal category equipped with a Yang-Baxter object.

Edit: Another reference for this terminology:

  • André Joyal and Ross Street, Tortile Yang-Baxter operators in a tensor category, J. Pure Appl. Alg. 71 (1991), 43-51.
share|improve this answer
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.