b'\n_START_ARTICLE_\nProduto categorial\n_START_PARAGRAPH_\nO Produto categorial \xc3\xa9 uma generaliza\xc3\xa7\xc3\xa3o categorial do produto cartesiano._NEWLINE_Seja C uma categoria e  e  dois objetos da categoria C. O produto categorial de  e  \xc3\xa9 um objeto  e dois morfismos  e , tal que dado qualquer objeto  da categoria e para quaisquer morfismos  e  existe exatamente um  tal que o diagrama da figura ao lado comuta._NEWLINE_Os morfismos  e  s\xc3\xa3o chamados proje\xc3\xa7\xc3\xb5es._NEWLINE_Podemos chamar o objeto  junto com as setas   e  de pr\xc3\xa9-produto.'