TEORIA DAS CATEGORIAS PARA CIÊNCIA DA COMPUTAÇÃO

A Teoria das Categorias é recente, tendo sido desenvolvida a partir de 1945. Desde então, tem influenciado muitas áreas, como uma forma revolucionária de entendimento e abordagem. Esta obra objetiva apresentar os conceitos básicos de Teoria das categorias e exemplificar algumas aplicações na Ciência da Computação. É baseada em experiências letivas nos Cursos de Graduação e Pós-Graduação da UFRGS e PUC-Rio, de acordo com as diretrizes curriculares do MEC. É destinado, principalmente, como um primeiro curso de Teoria das categorias, sendo autocontido e podendo ser adotado como bibliografia básica. Possui texto simples, ilustrado com 210 figuras, 230 exemplos detalhados e 230 exercícios em níveis crescentes de raciocícnio. Este é o volume 12 da Série Livros Didáticos.