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 string-diagrams
Search options answers only
not deleted
user 396
6
votes
Accepted
Diagram calculus for weak 2-functors between bicatgories
I imagine you could easily apply Micah McCurdy's graphical calculus for monoidal functors (see this paper or these slides) by just labeling the regions between strands as one usually does in the graph …
- 7,237
17
votes
Accepted
String diagrams for (weak) monoidal categories
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 parenthes …
- 7,237