SOBRE PARES DE FUNÇÕES DE GALOIS: UMA ADJUNÇÃO MOTIVADA PELAS TRADUÇÕES ENTRE LÓGICAS

Resumo

Apresentamos conceitos algébricos básicos e fundamentais para o desenvolvimento teórico dos pares de Galois. Então enunciamos as definições de pares de Galois e fazemos breves comparações entre os conceitos. Destacamos as adjunções, que caracterizam um caso de par de Galois e mostramos algumas de suas propriedades essenciais. Como resultado original, introduzimos uma conexão de Galois que envolve conceito abstrato e universal de tradução entre lógicas.

Palavras Chave: Pares de Galois, adjunções, conexões de Galois