The injections (coprojections) of a coproduct in a category are very often monomorphisms. For instance, this happens in any [extensive category](http://ncatlab.org/nlab/show/extensive+category) (essentially by definition) and also in any category with zero morphisms (since in that case they are *split* monos). However, there are examples of (complete and cocomplete) categories where this is not always the case, e.g. in the category of commutative rings the coproduct is the tensor product, and the injection $\mathbb{Z} \to \mathbb{Z} \otimes \mathbb{Z}/2 \cong \mathbb{Z}/2$ is not monic.


My question is, can you give an example of a complete and cocomplete *closed monoidal* category (a "Benabou cosmos") in which coproduct injections are not always monic? (Or, I suppose, a proof that no such example exists, but that would surprise me.)



A cosmos where coproduct injections are not monic
Let me recall that injectivity of coproduct's injections follows from the distributivity of products over coproducts (rather than full extensivity of coproducts). Since every cartesian closed category is (obviously) distributive we cannot find counterexamples in cartesian closed categories.


However, the proof of injectivity of coproduct's injections highly relies on the cartesian structure of $\times$, and one should not expect to carry it to the context where product $\times$ is substituted by a general tensor $\otimes$.


One class of categories which cannot be cartesian closed (unless degenerated) are self-dual categories. I claim that very many of such categories do not have injective coproduct's injections, and this fact is (almost) unrelated to the existence of any closed monoidal structure. Here is an explicit example.


There are various notions of Chu spaces, but the underlying idea is common --- a Chu space is thought of as a "non-standard relation", and morphisms of Chu spaces are thought of as "adjoint pairs" between relations. Let me describe the category that is usually denoted by $\mathit{Chu}(\mathbf{Set}, \Omega)$. Its objects consist of typed binary relations: $$A = \langle A\_!, A^\*, A\_! \times A^\* \overset{A}\rightarrow \Omega \rangle$$ in $\mathbf{Set}$, and its morphisms $A \rightarrow B$ consist of pairs of functions (notice opposite directions!): $$f = \langle f\_! \colon A\_! \rightarrow B\_!, f^\* \colon B^\* \rightarrow A^\* \rangle$$ in $\mathbf{Set}$ that satisfy the following adjoint-like condition:
$$B(b, f^\*(a)) = A(f\_!(b), a)$$
One may easily check that this category is self-dual, where the dualization swaps the domain with the codomain of a relation:
$$(A^\bot)\_! = A^\*$$
$$(A^\bot)^\* = A\_!$$
$$(A^\bot)(b, a) = A(a, b)$$
and complete (thus, also cocomplete) --- limits are constructed point-wise: the first component of a Chu space inherits limits from $\mathbf{Set}$, and the second from $\mathbf{Set}^{op}$.


Like in many self-dual categories, objects may have many (co)global coelements --- i.e. there are non-trivial morphisms to the initial object $0 = \langle \emptyset, \{ {\*} \}, \emptyset \rangle$ (just pick any Chu space $A$ whose $A\_! = \emptyset$ and whose $A^\*$ is non-trivial). Therefore, the unique morphism $0 \rightarrow 1$ is not mono. So the canonical coproduct's injection $0 \rightarrow 0 \sqcup 1 \approx 1$ is not a monomorphism in $\mathit{Chu}(\mathbf{Set}, \Omega)$.


There is a closed monoidal structure on $\mathit{Chu}(\mathbf{Set}, \Omega)$ given by the following tensor:
$$(A \otimes B)\_! = A\_! \times B\_!$$
$$(A \otimes B)^\* = \{\langle h \colon A\_! \rightarrow B^\*, k \colon B\_! \rightarrow A^\* \rangle \colon B(b, h(a)) = A(a, k(b))\}$$
$$(A \otimes B)(a, b, h, k) = B(b, h(a)) = A(a, k(b))$$
In fact, $\mathit{Chu}(\mathbf{Set}, \Omega)$ is $\star$-autonomous (with linear implication $A \multimap B = (A \otimes B^\bot)^\bot$).


In particular, the construction is valid for any $\Omega$ (not necessarily the subobject classifier), and taking $\Omega = 1$ yields category $\mathbf{Set} \times \mathbf{Set}^{op}$ with linear exponentiation:
$$\langle A\_!, A^\*\rangle \multimap \langle B\_!, B^\*\rangle = \langle {B\_!}^{A\_!} \times {A^\*}^{B^\*}, A\_! \times B^\*\rangle$$


