A primeira noção de topos, a de topos de Grothendieck, surgiu há cerca de 50 anos a partir de uma generalização do conceito de feixe na geometria algébrica. Poucos anos mais tarde, uma axiomatização categorial de algumas das propriedades de um topos de Grothendieck deu origem a uma segunda noção de topos, a de topos elementar; e essa descrição permitiu estabelecer ligações entre essas categorias e teoria dos conjuntos e lógica. Neste trabalho, estudamos a teoria de topos com um foco especial na construção da lógica interna dos topoi, e exploramos sua relação com modelos Heyting-valorados. / The first definition of a topos, that of a Grothendieck topos, emerged roughly 50 years ago from a generalization of the notion of sheaves in algebraic geometry. Few years later, a categorical axiomatization of some properties of Grothendieck topoi gave rise to a second notion of topoi, that of an elementary topos; and this description made it possible to establish connections between these categories and set theory and logic. In this work, we study topos theory with a particular focus on the construction of the internal logic of topoi, and explore its relation to Heyting-valued models.
Identifer | oai:union.ndltd.org:usp.br/oai:teses.usp.br:tde-17072019-150841 |
Date | 12 June 2019 |
Creators | Cahali, Arthur Francisco Schwerz |
Contributors | Mariano, Hugo Luiz |
Publisher | Biblioteca Digitais de Teses e Dissertações da USP |
Source Sets | Universidade de São Paulo |
Language | Portuguese |
Detected Language | Portuguese |
Type | Dissertação de Mestrado |
Format | application/pdf |
Rights | Liberar o conteúdo para acesso público. |
Page generated in 0.0014 seconds