CHRISTIAN MARCEL DE AMORIM PERRET GENTIL DIT MAILLARD

Teoria de Categorias é uma linguagem lógico matemática desenvolvida inicialmente
no início da década de 1940. Foi de fato trabalhada por lógicos, trazendo resultados
relevantes para a área, a partir da década de 1950 e 1960. Os trabalhos de construção
de uma semântica categorial para linguagens de primeira ordem foram possíveis a partir
da construção de uma nova categoria, denominado topos elementar que levaram a
resultados relevantes do ponto de vista filosófico, como por exemplo, que a lógica
subjacente de um topos é a lógica intuicionista. Uma nova categoria, denominada
prototopos, mais simples do que a categoria topos elementar, na qual é possível derivar
uma semântica para o cálculo proposicional será apresentada, efetuando-se um
comparativo exaustivo com a categoria topos elementar.