finite product

Let \(\mathcal{C}\) be a category. A finite product is a limit for a discrete, finite diagram

see:

• discrete limit as product
• terminal object as empty limit