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.

$\blacksquare$