Objeto (teoria das categorias)
 | 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. (Maio de 2020) |
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]- 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.
- Maico Felipe Silva Ribeiro, Teoria das Categorias para Matemáticos: uma breve introdução
