For every product in a category, there exists an operation $\langle\cdot, \cdot\rangle$ that turns morphisms $f : C \to A$ and $g : C \to B$ into morphisms $\langle f, g\rangle : C \to A \times B$. How are this operation and its results usually called? Calling $\langle f, g\rangle$ the product of $f$ and $g$ does not make sense to me, since I would expect $f \times g$ to be the product of the two morphisms.

Furthermore there is the generalisation of binary products in the form of arbitrary products $\prod_{i \in I} A_i$ for families $\{A_i\}_{i \in I}$ of objects. These products have, of course, variants of the $\langle\cdot, \cdot\rangle$-operator. What is the usual notation for these variants? So far, I wrote $\langle\{f_i\}_{i \in I}\rangle : C \to \prod_{i \in I} A_i$ for families of morphisms $f_i : C \to A_i$. Is this standard?