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.
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.