Galois theory in a topos. (English) Zbl 0441.18008


18B25 Topoi
20E18 Limits, profinite groups
03G30 Categorical logic, topoi
18F20 Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)
16P60 Chain conditions on annihilators and summands: Goldie-type conditions
13B05 Galois theory and commutative ring extensions
20E25 Local properties of groups
16W20 Automorphisms and endomorphisms
18A99 General theory of categories and functors
Full Text: DOI


[1] Isbell, J.R., Atomless parts of spaces, Math. scand., 31, 5-32, (1972) · Zbl 0246.54028
[2] Johnstone, P.T., Tychonoff’s theorem without the axiom of choice, (1978), preprint · Zbl 0503.54006
[3] Johnstone, P.T., Topos theory, () · Zbl 0368.18001
[4] Johnstone, P.T., Some aspects of internal category theory in an elementary topos, () · Zbl 0368.18001
[5] Johnstone, P.T., Factorization and pullback theorems for localic geometric morphisms, (), Rapport no. 79 · Zbl 0454.18007
[6] Johnstone, P.T.; Wraith, G.C., Algebraic theories in toposes, Indexed categories and their applications, Springer lecture notes in mathematics, 661, 141-242, (1978) · Zbl 0392.18006
[7] Kennison, J., Galois theory and theaters of action in a topos, J. pure appl. algebra, 18, 149-164, (1980) · Zbl 0443.18004
[8] Makkai, M.; Reyes, G.E., First order categorical logic, Springer lecture notes in mathematics, 611, (1977) · Zbl 0830.03036
[9] Mikkelsen, C.J., Lattice theoretic and logical aspects of elementary topoi, () · Zbl 0345.18006
[10] Tierney, M., Forcing topologies and classifying topoi, (), 211-219 · Zbl 0356.18012
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.