Been reading up on the idea of distributive categories. Suppose $\mathcal{C}$ is some category such that for all $A,B\in\mathcal{C}$ the product $A\times B$ and coproduct $A\oplus B$ exist.

So $\mathcal{C}$ is a distributive category if the canonical morphism $$ \phi\colon (A\times B)\oplus(A\times C)\to A\times (B\oplus C) $$ is an isomorphism.

This is a basic question, but what precisely is this so called canonical morphism? Really, what does an arbitrary "thing" (not sure if element is the right word here) in $(A\times B)\oplus(A\times C)$ look like, and where does it go under $\phi$?

  • 1
    $\begingroup$ In the context of your question, there are no things in $(A\times B)\oplus(A\times C)$. $\endgroup$ – Mariano Suárez-Álvarez Sep 16 '11 at 22:35
  • $\begingroup$ Yes, I'm still not very sure of the language to use while communicating my problems here. $\endgroup$ – groops Sep 16 '11 at 22:43
  • $\begingroup$ @groops: en.wikipedia.org/wiki/Distributive_category $[1\times\iota_1,1\times\iota_2]$ $\endgroup$ – beroal Sep 27 '11 at 12:34

There is a canonical morphism $B\to B\oplus C$, which induces a morphism $\phi_1:A\times B\to A\times(B\oplus C)$. Similarly, there is a canonical morphism $C\to B\oplus C$ which induces a morphism $\phi_2:A\times C\to A\times(B\oplus C)$.

Now $\phi_1$ and $\phi_2$ determine a unique morphism $(A\times B)\oplus(A\times C)\to A\times(B\oplus C)$. That's your morphism.

  • $\begingroup$ So the canonical injections are the place to start. Thanks! $\endgroup$ – groops Sep 16 '11 at 22:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.