Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options answers only not deleted user 498826

In the classical equation, one looks for $R\in\Lambda^2\mathfrak g$ such that $$[R,R]=0,$$ where the bracket is Schouten's bracker in $\Lambda^\bullet\mathfrak g$, the exterior algebra on a Lie algebra $\mathfrak g$. In the quantum one (in its non-parametric form...), one looks for endomorphisms $R:V\otimes V\to V\otimes V$ of tensor squares of vector spaces $V$ such that $$R_{12} \ R_{13} \ R_{23} = R_{23} \ R_{13} \ R_{12},$$

13 votes
Accepted

Why does the definition of a braided monoidal category not mention the braid equation?

Indeed, the axioms of a braided monoidal category are enough to derive the Yang-Baxter equation. See Braided monoidal categories by Joyal and Street (diagram B7), or 1Lab for a formalised proof.
Naïm Favier's user avatar