PPT Slide
1. Teoria das Categorias é o ambiente natural para a formalização de
2. Teoria das Categorias encapsula conceitos de computação/programação em
conceitos categóricos bem conhecidos.
3. Provê meios “geométricos” para análise de conceitos formais em L.P.’s
Desvantagens ou falta de costume ??