Curso introdutório de Teoria de Categorias, em que são apresentadas as ideias básicas, comparando a visão matemática conceitual tradicional (conjuntista) com a visão diagramática desta teoria. Algumas aplicações da Teoria de Categorias à Lógica contemporânea e Teoria dos Modelos são também apresentadas.