A Teoria das Categorias tem influenciado muitas áreas, como uma forma revolucionária de entendimento e abordagem. Esta obra apresentar os conceitos básicos de Teoria das Categorias e apresenta algumas aplicações na Ciência da Computação. É destinado, principalmente, a um primeiro curso de Teoria das Categorias.