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 monoidal-categories
Search options not deleted
user 419447
10
votes
1
answer
538
views
Proof that the unit of a Cartesian monoidal category is terminal
In short, given a monoidal category whose product is the categorical product, show that the unit object is terminal.
This looks very similar to questions that have been answered, but is subtly differe …
- 63.9k
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