CONCEITO

• É uma generalização da algebra de funções
• A principal operação sobre funções é a de composição
• É uma estrutura abstrata, constituida de objetos e setas entre objetos, com uma propriedade fundamental que é a composicionalidade das setas
• Por exemplo objetos e setas podem ser conjuntos e funções