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 |
