Diagrama de produto fibrado

O produto fibrado é uma construção de Teoria das categorias.

DefiniçãoEditar

Dadas duas setas   e  , de uma categoria C qualquer, com destino comum  , o produto fibrado de   é um objeto   e duas setas   e   tal que:

  1.  , onde  ;
  2. Para qualquer outra tripla   tal que  , existe uma única seta   tal que   e  .

O conceito dual do produto fibrado é a Soma amalgamada.

ExemploEditar

Na categoria dos conjuntos o produto fibrado de   e   é o conjunto  , com as restrições das projeções   e   a  .

Ver tambémEditar

Ligações externasEditar

ReferênciasEditar

  • 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.
  Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.