Aborda fundamentos de teoria das categorias com aplicações a problemas e estruturas em ciência da computação, incluindo exemplos formais e construções categóricas.

Destinado a estudantes de graduação avançada, pós-graduação e profissionais que buscam compreensão teórica; útil em cursos de teoria da computação e semântica formal de linguagens de programação.

Inclui desenvolvimento conceitual e exemplos que conectam categorias a tópicos como tipos, monóides e morfismos em contextos computacionais.