Uma proposta de uma abordagem local para o tipo real

Neste trabalho procuramos nos dedicar ao estudo de topos, teoria intuicionista dos tipos e teoria local de conjuntos, esta última um teoria de tipos vista na otica de conjuntos. No entanto, antes de tratarmos destes temas, é realizada uma exposição da visão clássica de conjuntos, com o objetivo de compará-la com a local. Propomos, nesse contexto, uma teoria local de conjuntos que venha representar adequadamente o tipo de dado real via intervalo. Ao final, apresentamos um modelo concreto para essa teoria local, a categoria dos domínios contínuos.