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 ct.category-theory
Search options not deleted
user 419447
Enriched categories, topoi, abelian categories, monoidal categories, homological algebra.
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 …
- 391
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