Strongly separable morphisms in general categories. (English) Zbl 1315.18004
Summary: 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.
MSC:
18A32 | Factorization systems, substructures, quotient structures, congruences, amalgams |
18A40 | Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) |
13B05 | Galois theory and commutative ring extensions |
14H30 | Coverings of curves, fundamental group |
54C10 | Special maps on topological spaces (open, closed, perfect, etc.) |
57M10 | Covering spaces and low-dimensional topology |