Coproduto categorial
 | Este artigo ou secção contém uma lista de referências no fim do texto, mas as suas fontes não são claras porque não são citadas no corpo do artigo, o que compromete a confiabilidade das informações. (Agosto de 2021) |
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]- Categories, Types and Structures por Andrea Asperti e Giuseppe Longo
- Lâminas para um curso curto de Teoria das Categorias por Carlos Campani
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.
