Objeto (teoria das categorias)

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

Objeto, no contexto de Teoria das categorias, é um dos elementos que formam uma categoria. Podemos entender uma categoria como sendo uma coleção de elementos chamados objetos e morfismos entre estes objetos.

Na categoria Set objetos são conjuntos e morfismos são as funções (totais) entre eles. No entanto, no caso geral de categorias, um paralelo entre objetos e conjuntos estruturados nem sempre é válido.

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.
  • Paulo Blauth Menezes & Edward Hermann Haeusler, Teoria das categorias para ciência da computação, Porto Alegre, Editora Sagra-Luzzatto.


Ícone de esboço Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.