Resumo
É possível entender as lógicas como sistemas, álgebras, espaços ou categorias, dependendo da perspectiva escolhida (lógica, algébrica, topológica, categórica). Também temos a possibilidade de aproveitar as diversas combinações das várias perspectivas, usando ferramentas correlativas da categoria e da topologia, em particular, os feixes, topos, alegorias e categorias intermediárias. O para…