-2
votes
1answer
54 views

Is it true to say that every tensor is an element of a monoid?

If we consider that: by definition, a tensor is an element of the tensor product of two algebraic structures the most abstract algrebraic structure on which the tensor product is defined are ...
4
votes
1answer
97 views

Connection between dual space V* and negation P^c

Notice the following similarity between the vector space dual and negation in propositional logic: $$ V^* \equiv V \rightarrow F $$ $$ P^c \equiv P \rightarrow \bot $$ Is there some general notion ...
6
votes
0answers
141 views

Mnemonic device for relationships between Hom and Tensor

Probably this is a stupid question, but nevertheless... Let $A$, $B$, $C$ and $D$ be rings, and $M$, $N$ and $K$ be appropriate bimodules between them. There are extremely well-known canonical ...
2
votes
1answer
84 views

Is the inverse to a monoidal equivalence also monoidal?

Let ${\cal C,D}$ be two categories, and let $$ F:{\cal C} \to {\cal D}, ~~~~~~~~~~~~~~~~~ G:{\cal D} \to {\cal C}, $$ be an equivalence of categories. Let us now further assume that ${\cal C}$ can ...