Unary Product for Object is Itself

Theorem
Let $\mathbf C$ be a metacategory.

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

Then $\ds \prod \set C = C$, where $\ds \prod$ denotes product.

Proof
Follows directly from Limit of Singleton.