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 ra.rings-and-algebras
Search options not deleted
user 64529
Non-commutative rings and algebras, non-associative algebras, universal algebra and lattice theory, linear algebra, semigroups. For questions specific to commutative algebra (that is, rings that are assumed both associative and commutative), rather use the tag ac.commutative-algebra.
4
votes
Accepted
The evaluation and coevaluation maps for an object isomorphic to a dualisable object
This won't fit in a comment, maybe it's useful to someone:
$$ \begin{align*}
(\mathrm{id}_Y⊗\mathrm{ev}_Y)∘(\mathrm{coev}_Y⊗\mathrm{id}_Y) &=
(\mathrm{id}_Y⊗\mathrm{ev}_X)∘(\mathrm{id}_{Y⊗X^*}⊗σ^{-1} …
