Unary Product for Object is Itself

Theorem
Let $\mathbf C$ be a metacategory.

Let $C$ be an object of $\mathbf C$.

Then $\displaystyle \prod \{ C \} = C$, where $\displaystyle \prod$ denotes product.

Proof
Follows directly from Limit of Singleton.