Teoria das Categorias

Teoria das Categorias descreve estruturas abstratas na matemática e tem servido de inspiração para novas funcionalidades em linguagens de programação, principalmente as funcionais.

Essa sequência de posts é resultado de um estudo do livro Teoria das Categorias para Programadores, escrito por Bartosz Milewski e distribuído livremente no site do autor. Além disso, outras fontes foram utilizadas para construção desse material e a inclusão de códigos-fontes de própria autoria.

1 Disclaimer

Estes slides foram preparados para os cursos de Paradigmas de Programação e Desenvolvimento Orientado a Tipos na UFABC.

Este material pode ser usado livremente desde que sejam mantidos, além deste aviso, os créditos aos autores e instituições.