Produto categorial

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Diagrama comutativo do produto categorial

O Produto categorial é uma generalização categorial do produto cartesiano.

Seja C uma categoria e a e b dois objetos da categoria C. O produto categorial de a e b é um objeto a\times b e dois morfismos p_a:a\times b\rightarrow a e p_b:a\times b\rightarrow b, tal que dado qualquer objeto c da categoria e para quaisquer morfismos f:c\rightarrow a e g:c\rightarrow b existe exatamente um h:c\rightarrow a\times b tal que o diagrama da figura ao lado comuta.

Os morfismos p_a e p_b são chamados projeções.

Podemos chamar o objeto c junto com as setas f e g de pré-produto.

Ver também[editar | editar código-fonte]

Ligações externas[editar | editar código-fonte]

Referências[editar | editar código-fonte]

  • Mac Lane, Saunders (1998). Categories for the Working Mathematician (2nd ed.). Graduate Texts in Mathematics 5. Springer. ISBN 0-387-98403-8.
  • Barr, Michael & Wells, Charles, Category Theory for Computing Science, Prentice Hall, London, UK, 1990.
  • Asperti, Longo, "Categories, Types, and Structures", The MIT Press, Cambridge, Massachusetts, London, England.
Ícone de esboço Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.