Produto categorial: diferenças entre revisões

Seja '''C''' uma [[categoria (teoria das categorias)|categoria]] e <math>a</math> e <math>b</math> dois [[objeto (teoria das categorias)|objetos]] da categoria '''C'''. O ''produto categorial'' de <math>a</math> e <math>b</math> é um objeto <math>a\times b</math> e dois [[morfismo (teoria das categorias)|morfismos]] <math>p_a:a\times b\rightarrow a</math> e <math>p_b:a\times b\rightarrow b</math>, tal que dado qualquer objeto <math>c</math> da categoria e para quaisquer morfismos <math>f:c\rightarrow a</math> e <math>g:c\rightarrow b</math> existe exatamente um <math>h:c\rightarrow a\times b</math> tal que o diagrama da figura ao lado comuta.