73. Teoria das categorias

Apresenta objetos e morfismos, funtores, transformações naturais, limites e propriedades universais. A linguagem organiza construções recorrentes da álgebra, topologia e computação.