Search Results
| 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 braided-tensor-categories
Search options not deleted
user 419447
6
votes
3
answers
321
views
What is the proof of the compatibility of a braiding with the unitors?
I am specifically referencing the property that, given a braided monoidal category with a braiding $c$ and left and right unitors $\lambda, \rho$,
$$
\lambda_A \circ c_{A,I}=\rho_{A},
$$
for any objec …
- 391
1
vote
Accepted
Why is 'every braided monoidal category spacial'?
As shown at the end of the question, the statement is equivalent to another post which proves the relations discussed here. It has now been answered by Peter LeFanu Lumsdaine.
- 391
4
votes
1
answer
249
views
Why is 'every braided monoidal category spacial'? [duplicate]
In his 2009 survey, Selinger ("A survey of graphical languages for monoidal categories") defines the notion of a 'spacial monoidal category', which (in his graphical calculus) allows one to switch a m …
- 391