Produto fibrado
Origem: Wikipédia, a enciclopédia livre.
O produto fibrado é uma construção de Teoria das categorias.
Índice |
[editar] Definição
Dadas duas setas 
e 
, de uma categoria C qualquer, com destino comum a, o produto fibrado de (f,g) é um objeto 
e duas setas 
e 
tal que:
, onde 
;- Para qualquer outra tripla
tal que 
, existe uma única seta 
tal que 
e 
.
O conceito dual do produto fibrado é a Soma amalgamada.
[editar] Exemplo
Na categoria dos conjuntos o produto fibrado de f e g é o conjunto 
, com as restrições das projeções p1 e p2 a 
.
[editar] Ver também
[editar] Ligações externas
- Categories, Types and Structures por Andrea Asperti e Giuseppe Longo
- Lâminas para um curso curto de Teoria das Categorias por Carlos Campani
[editar] 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.
Conceitos e construções categoriais:
Objeto | Morfismo | Categoria | Objeto inicial | Objeto terminal
Monomorfismo | Epimorfismo | Isomorfismo | Limite | Colimite
Produto categorial | Coproduto categorial | Equalizador | Coequalizador
Produto fibrado | Soma amalgamada | Cone | Cocone | Functor
Transformação natural | Objeto exponencial | Adjunção
