Definition 4.14.6. Suppose that $I$ is a set, and suppose given for every $i \in I$ an object $M_ i$ of the category $\mathcal{C}$. A product $\prod _{i\in I} M_ i$ is by definition $\mathop{\mathrm{lim}}\nolimits _\mathcal {I} M$ (if it exists) where $\mathcal{I}$ is the category having only identities as morphisms and having the elements of $I$ as objects.

There are also:

• 5 comment(s) on Section 4.14: Limits and colimits

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).