Skip to main content
added new part of question to correct incompleteness/obvious falsity of previous formulation
Source Link
Vipul Naik
  • 7.3k
  • 2
  • 36
  • 82

Suppose we have a monoidal category $(\mathcal{C},\otimes)$. I am interested in the conditions or situations where the following do and do not hold:

  1. For any objects A, B of $\mathcal{C}$, the induced map $\operatorname{End}(A) \times \operatorname{End}(B) \to \operatorname{End}(A \otimes B)$ is injective (by induced map, I mean the map induced by the bifunctoriality).

  2. For any objects A, B of $\mathcal{C}$, the induced map $\operatorname{Aut}(A) \times \operatorname{Aut}(B) \to \operatorname{Aut}(A \otimes B)$ is injective (this is a restriction of the map in (1)).

(1) is stronger than (2). I think I have a proof that in the case that $\otimes$ is a product or coproduct (i.e., we have a Cartesian or co-Cartesian (?) monoidal category) [EDIT: My proof was wrong, as the counterexamples below show], both (1) and (2) hold, i.e., the maps on the two factors are "determined" by the map on the (co)-product. On the other hand, when $\otimes$ is the tensor product of modules over a commutative unital ring, (1) and (2) need not hold, though I think they do hold when the ring is a field.

So my question is: what are more examples where (1) and (2) do hold, what are more examples where they don't, and are there some other conditions/properties which would imply (1) and (2)?

ADDED LATER: It seems that zero objects provide some immediate counterexamples to (1) and (2) even for the category of sets. So I'm modifying (1) and (2) to the following:

1.' For what objects A, B, is the induced map $\operatorname{End}(A) \times \operatorname{End}(B) \to \operatorname{End}(A \otimes B)$ injective? i.e., How would we characterize such A and B? The most general possibility seems to be if it is true for all A and B that are not initial or final objects.

2.' For what objects A, B, is the induced map $\operatorname{Aut}(A) \times \operatorname{Aut}(B) \to \operatorname{Aut}(A \otimes B)$ injective? i.e., How would we characterize such A and B? The most general possibility seems to be if it is true for all A and B that are not initial or final objects.

Suppose we have a monoidal category $(\mathcal{C},\otimes)$. I am interested in the conditions or situations where the following do and do not hold:

  1. For any objects A, B of $\mathcal{C}$, the induced map $\operatorname{End}(A) \times \operatorname{End}(B) \to \operatorname{End}(A \otimes B)$ is injective (by induced map, I mean the map induced by the bifunctoriality).

  2. For any objects A, B of $\mathcal{C}$, the induced map $\operatorname{Aut}(A) \times \operatorname{Aut}(B) \to \operatorname{Aut}(A \otimes B)$ is injective (this is a restriction of the map in (1)).

(1) is stronger than (2). I think I have a proof that in the case that $\otimes$ is a product or coproduct (i.e., we have a Cartesian or co-Cartesian (?) monoidal category) [EDIT: My proof was wrong, as the counterexamples below show], both (1) and (2) hold, i.e., the maps on the two factors are "determined" by the map on the (co)-product. On the other hand, when $\otimes$ is the tensor product of modules over a commutative unital ring, (1) and (2) need not hold, though I think they do hold when the ring is a field.

So my question is: what are more examples where (1) and (2) do hold, what are more examples where they don't, and are there some other conditions/properties which would imply (1) and (2)?

Suppose we have a monoidal category $(\mathcal{C},\otimes)$. I am interested in the conditions or situations where the following do and do not hold:

  1. For any objects A, B of $\mathcal{C}$, the induced map $\operatorname{End}(A) \times \operatorname{End}(B) \to \operatorname{End}(A \otimes B)$ is injective (by induced map, I mean the map induced by the bifunctoriality).

  2. For any objects A, B of $\mathcal{C}$, the induced map $\operatorname{Aut}(A) \times \operatorname{Aut}(B) \to \operatorname{Aut}(A \otimes B)$ is injective (this is a restriction of the map in (1)).

(1) is stronger than (2). I think I have a proof that in the case that $\otimes$ is a product or coproduct (i.e., we have a Cartesian or co-Cartesian (?) monoidal category) [EDIT: My proof was wrong, as the counterexamples below show], both (1) and (2) hold, i.e., the maps on the two factors are "determined" by the map on the (co)-product. On the other hand, when $\otimes$ is the tensor product of modules over a commutative unital ring, (1) and (2) need not hold, though I think they do hold when the ring is a field.

So my question is: what are more examples where (1) and (2) do hold, what are more examples where they don't, and are there some other conditions/properties which would imply (1) and (2)?

ADDED LATER: It seems that zero objects provide some immediate counterexamples to (1) and (2) even for the category of sets. So I'm modifying (1) and (2) to the following:

1.' For what objects A, B, is the induced map $\operatorname{End}(A) \times \operatorname{End}(B) \to \operatorname{End}(A \otimes B)$ injective? i.e., How would we characterize such A and B? The most general possibility seems to be if it is true for all A and B that are not initial or final objects.

2.' For what objects A, B, is the induced map $\operatorname{Aut}(A) \times \operatorname{Aut}(B) \to \operatorname{Aut}(A \otimes B)$ injective? i.e., How would we characterize such A and B? The most general possibility seems to be if it is true for all A and B that are not initial or final objects.

added 62 characters in body
Source Link
Vipul Naik
  • 7.3k
  • 2
  • 36
  • 82

Suppose we have a monoidal category $(\mathcal{C},\otimes)$. I am interested in the conditions or situations where the following do and do not hold:

  1. For any objects A, B of $\mathcal{C}$, the induced map $\operatorname{End}(A) \times \operatorname{End}(B) \to \operatorname{End}(A \otimes B)$ is injective (by induced map, I mean the map induced by the bifunctoriality).

  2. For any objects A, B of $\mathcal{C}$, the induced map $\operatorname{Aut}(A) \times \operatorname{Aut}(B) \to \operatorname{Aut}(A \otimes B)$ is injective (this is a restriction of the map in (1)).

(1) is stronger than (2). I think I have a proof that in the case that $\otimes$ is a product or coproduct (i.e., we have a Cartesian or co-Cartesian (?) monoidal category) [EDIT: My proof was wrong, as the counterexamples below show], both (1) and (2) hold, i.e., the maps on the two factors are "determined" by the map on the (co)-product. On the other hand, when $\otimes$ is the tensor product of modules over a commutative unital ring, (1) and (2) need not hold, though I think they do hold when the ring is a field.

So my question is: what are more examples where (1) and (2) do hold, what are more examples where they don't, and are there some other conditions/properties which would imply (1) and (2)?

Suppose we have a monoidal category $(\mathcal{C},\otimes)$. I am interested in the conditions or situations where the following do and do not hold:

  1. For any objects A, B of $\mathcal{C}$, the induced map $\operatorname{End}(A) \times \operatorname{End}(B) \to \operatorname{End}(A \otimes B)$ is injective (by induced map, I mean the map induced by the bifunctoriality).

  2. For any objects A, B of $\mathcal{C}$, the induced map $\operatorname{Aut}(A) \times \operatorname{Aut}(B) \to \operatorname{Aut}(A \otimes B)$ is injective (this is a restriction of the map in (1)).

(1) is stronger than (2). I think I have a proof that in the case that $\otimes$ is a product or coproduct (i.e., we have a Cartesian or co-Cartesian (?) monoidal category), both (1) and (2) hold, i.e., the maps on the two factors are "determined" by the map on the (co)-product. On the other hand, when $\otimes$ is the tensor product of modules over a commutative unital ring, (1) and (2) need not hold, though I think they do hold when the ring is a field.

So my question is: what are more examples where (1) and (2) do hold, what are more examples where they don't, and are there some other conditions/properties which would imply (1) and (2)?

Suppose we have a monoidal category $(\mathcal{C},\otimes)$. I am interested in the conditions or situations where the following do and do not hold:

  1. For any objects A, B of $\mathcal{C}$, the induced map $\operatorname{End}(A) \times \operatorname{End}(B) \to \operatorname{End}(A \otimes B)$ is injective (by induced map, I mean the map induced by the bifunctoriality).

  2. For any objects A, B of $\mathcal{C}$, the induced map $\operatorname{Aut}(A) \times \operatorname{Aut}(B) \to \operatorname{Aut}(A \otimes B)$ is injective (this is a restriction of the map in (1)).

(1) is stronger than (2). I think I have a proof that in the case that $\otimes$ is a product or coproduct (i.e., we have a Cartesian or co-Cartesian (?) monoidal category) [EDIT: My proof was wrong, as the counterexamples below show], both (1) and (2) hold, i.e., the maps on the two factors are "determined" by the map on the (co)-product. On the other hand, when $\otimes$ is the tensor product of modules over a commutative unital ring, (1) and (2) need not hold, though I think they do hold when the ring is a field.

So my question is: what are more examples where (1) and (2) do hold, what are more examples where they don't, and are there some other conditions/properties which would imply (1) and (2)?

Source Link
Vipul Naik
  • 7.3k
  • 2
  • 36
  • 82

Monoidal operations on categories where the maps on Aut, End are injective

Suppose we have a monoidal category $(\mathcal{C},\otimes)$. I am interested in the conditions or situations where the following do and do not hold:

  1. For any objects A, B of $\mathcal{C}$, the induced map $\operatorname{End}(A) \times \operatorname{End}(B) \to \operatorname{End}(A \otimes B)$ is injective (by induced map, I mean the map induced by the bifunctoriality).

  2. For any objects A, B of $\mathcal{C}$, the induced map $\operatorname{Aut}(A) \times \operatorname{Aut}(B) \to \operatorname{Aut}(A \otimes B)$ is injective (this is a restriction of the map in (1)).

(1) is stronger than (2). I think I have a proof that in the case that $\otimes$ is a product or coproduct (i.e., we have a Cartesian or co-Cartesian (?) monoidal category), both (1) and (2) hold, i.e., the maps on the two factors are "determined" by the map on the (co)-product. On the other hand, when $\otimes$ is the tensor product of modules over a commutative unital ring, (1) and (2) need not hold, though I think they do hold when the ring is a field.

So my question is: what are more examples where (1) and (2) do hold, what are more examples where they don't, and are there some other conditions/properties which would imply (1) and (2)?