Coproduto categorial

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa

Coproduto categorial, no contexto de Teoria das categorias, é a noção dual ao produto categorial. Para obter o conceito dual, basta inverter as setas no diagrama do produto.

Exemplo[editar | editar código-fonte]

Na categoria dos conjuntos, o coproduto é a união disjunta dos conjuntos.

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.