# Projection from Product Category

Jump to navigation
Jump to search

This article needs to be linked to other articles.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{MissingLinks}}` from the code. |

## Theorem

Let $\CC, \DD$ be categories.

Let $\CC \times \DD$ be the product category.

Then the projection functors:

- $\pi_\CC: \CC \times \DD \to \CC$

- $\pi_\DD: \CC \times \DD \to \DD$

are indeed functors.

Moreover, $\pi_\CC, \pi_\DD$ satisfy the following universal property:

Although this article appears correct, it's inelegant. There has to be a better way of doing it.In particular: To satisfy the universal property means here that they are uniquely determined by the property. Definition of universal property is necessary.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by redesigning it.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Improve}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

*For any category $\EE$ and any functors $F : \EE \to \CC$, $G : \EE \to \DD$, there exists a unique functor $H : \EE \to \CC \times \DD$ such that $F = \pi_\CC H$ and $G = \pi_\DD H$*

That is, the following diagram commutes:

- $\xymatrix { \CC & \CC \times \DD \ar[l]_{\pi_\CC} \ar[r]^{\pi_\DD} & \DD \\ & \EE \ar[lu]^F \ar[u]_{\exists ! H} \ar[ru]_G}$

## Proof

This theorem requires a proof.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{ProofWanted}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |