All Questions
Tagged with cartesian-closed-categories yoneda-lemma
1 question with no upvoted or accepted answers
5
votes
0
answers
142
views
Does Cantor Bernstein hold in a Closed Symmetric Monoidal Category?
In a closed symmetric monoidal category with $[I,X] \cong X$ for all $X$ is it true that having monomorphisms $m :A \rightarrow B$ and $m: B \rightarrow A$ is enough to imply $A \cong B$ ?
I tried to ...