applications to mathematics, a normal monomorphism or conormal epimorphism is a particularly well-behaved type of morphism. A normal category is a category in...

other of morphisms. There are two objects that are associated to every morphism, the source and the target. A morphism f from X to Y is a morphism with source...

theory of schemes in algebraic geometry, a flat morphism f from a scheme X to a scheme Y is a morphism such that the induced map on every stalk is a flat...

unique normalization: a normal scheme Y with an integral birational morphism Y → X. (For X a variety over a field, the morphism Y → X is finite, which...

have zero morphisms. In that case, if f : X → Y is an arbitrary morphism in C, then a kernel of f is an equaliser of f and the zero morphism from X to...

naturally the structure of a locally ringed space; a morphism between algebraic varieties is precisely a morphism of the underlying locally ringed spaces. If X...

a scheme will be a scheme over some fixed base scheme S and a morphism an S-morphism. Contents:  !$@ A B C D E F G H I J K L M N O P Q R S T U V W XYZ...

Monomorphism Zero morphism Normal morphism Dual (category theory) Groupoid Image (category theory) Coimage Commutative diagram Cartesian morphism Slice category...

normal point under a proper birational morphism is connected. A generalization due to Grothendieck describes the structure of quasi-finite morphisms of...

called a monic morphism or a mono) is a left-cancellative morphism. That is, an arrow f : X → Y such that for all objects Z and all morphisms g1, g2: Z →...