small product

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

see:

• discrete limit as product