Around infinitary categorical logic

Se estudia una generalización de la lógica categórica para lenguajes infinitarios. Principalmente se trabaja con una generalización de los topos de Grothendieck, que también generalizan los topos usados por Espíndola, y se estudia como esta definición para topos se relaciona con una versión del axio...