Resumo

HERRERA HERNANDEZ, Jorge Alberto. The categorical vision of logic. Tóp. Sem [online]. 2020, n.43, pp.65-92.  Epub 07-Ago-2020. ISSN 2594-0619.

In this paper the development of logic since its inclusion to the mathematical knowledge is briefly outlined with the purpose of describe the way in which category theory is related with logic. We discuss the emergence of categorical concepts within mathematics in order to summarize how logical notions acquire greater clarity and are completely unified as a branch of mathematics through the language of categories. Finally, we conclude explaining how a concept of shape is developed by category theory to get this unification.

Palavras-chave : logic; theory of categories; topos; Grothendieck; form.