IF140 - Categorias para Computação

 

Pré-requisitos

1. Lógica Aplicada a Computação, IF312

Ementa

1. Definição de categoria
2. Construções básicas de categorias
3. Funtores e transformações naturais
4. Mônadas.

Referências

1. Arbib, M.A. and Manes, E.G. `ARROWS, STRUCTURES, AND FUNCTORS - THE CATEGORICAL IMPERATIVE', Academic Press, 1975.