We clarify the relationship between separable and covering morphisms in general categories by introducing and studying an intermediate class of morphisms that we call strongly separable.
Keywords: separable morphism, strongly separable morphism, separated morphism, compact morphism, covering morphism, factorization system, effective descent morphism, Galois theory, lextensive category
2000 MSC: 18A32, 18A40, 13B05, 14H30, 54C10, 57M10
Theory and Applications of Categories,
Vol. 23, 2010,
No. 7, pp 136-149.
http://www.tac.mta.ca/tac/volumes/23/7/23-07.dvi
http://www.tac.mta.ca/tac/volumes/23/7/23-07.ps
http://www.tac.mta.ca/tac/volumes/23/7/23-07.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/23/7/23-07.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/23/7/23-07.ps