Produto categorial: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m r2.7.1) (Bot: Adicionando: es:Producto (teoría de categorías) |
m Checkwiki + ajustes |
||
Linha 8:
Podemos chamar o objeto <math>c</math> junto com as setas <math>f</math> e <math>g</math> de ''pré-produto''.
== {{
* [[Matemática]]
* [[Ciência da computação]]
== {{
* [ftp://ftp.di.ens.fr/pub/users/longo/CategTypesStructures/book.pdf Categories, Types and Structures por Andrea Asperti e Giuseppe Longo]
*
== Referências ==
* 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.
{{teoria das categorias}}
{{esboço-matemática}}
{{DEFAULTSORT:Produto Categorial}}
[[Categoria:Teoria das categorias]]
| |||