Categoria (teoria das categorias)
estrutura em matemática / De Wikipedia, a enciclopédia encyclopedia
Na matemática, uma categoria é um conceito similar a um grafo direcionado, incluindo setas entre objetos, entre elas havendo identidades e uma operação de composição, com propriedades análogas à composição de funções.[1]
A teoria das categorias é o estudo de propriedades e classificações de categorias e conceitos relacionados. Ela provê uma linguagem que simplifica conceitos e demonstrações em várias áreas de matemática, possibilitando delinear e separar os resultados gerais dos que se aplicam a uma área específica.[2]
Categorias foram introduzidas por Samuel Eilenberg e Saunders Mac Lane com o objetivo de dar um significado rigoroso ao conceito de "canônico" ou "natural".[2]