La definición de una categoría de Galois fue diseñada intencionalmente para crear el marco general donde aparecen las correspondencias de Galois. Hay muchas fuentes (por ejemplo, aquí y aquí) que detallan las categorías de Galois, sus propiedades, etc.
Sin embargo, no he podido encontrar una fuente que declare explícitamente y demuestre la correspondencia de Galois en este marco general. ¿Existe algún recurso que haga esto?
