Pares de Funções de Galois: uma adjunção advinda de espaços quase topológicos

Abstract

Apresentamos conceitos algébricos básicos e fundamentais para o desenvolvimento teórico dos pares de Galois e, então, apresentamos um par de Galois (f, g), em que f e g são definidas entre conjuntos parcialmente ordenados (posets), A1 = (Ω1 , ⊆) e A2 = (Ω2 , ⊆), que podem ser definidas utilizando uma aplicação contínua s : (E1 , Ω1 ) → (E2 , Ω2 ), em que (E1 , Ω1 ) e (E2 , Ω2 ) são espaços quase topológicos.