2
$\begingroup$

This is a continuation of a previous question.

Is it possible to find a map $S : \mathrm{Set} \times \mathrm{Set} \to \mathrm{Set}$ such that $S(X,Y)$ is a coproduct of $X$ and $Y$ (thus it is equipped with universal morphisms $X \rightarrow S(X,Y) \leftarrow Y$; also $S$ will be a functor) and that $S$ is strictly commutative in the sense that the canonical bijection $S(X,Y) \cong S(Y,X)$ is the identity?

1 Answers 1

2

Again, we abuse the axiom of global choice: we well-order the universe of sets, and set $A \amalg B$ to be the von Neumann ordinal $\min \{ \alpha_A, \alpha_B \} + \max \{ \alpha_A, \alpha_B \}$ where $\alpha_A$ is the order type of $A$. The coproduct insertions are the obvious order-preserving inclusions. A variation on this is to linearly order the universe; the point is that we want every pair of sets to be linearly ordered.

Note, however, that strict associativity fails now...

  • 0
    @Martin: If $A = B$ then it doesn't matter anyway. We have strict commutativity because the underlying set of $A \coprod B$ and $B \coprod A$ will always be equal and the insertions are canonical w.r.t. the well-ordering of the universe.2011-12-09