applications to mathematics, a normal monomorphism or conormal epimorphism is a particularly well-behaved type of morphism. A normal category is a category in...
2 KB (280 words) - 15:46, 13 February 2022
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...
12 KB (1,499 words) - 17:32, 10 July 2024
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...
20 KB (3,528 words) - 23:32, 3 March 2023
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...
7 KB (1,087 words) - 19:07, 14 June 2024
Kernel (category theory) (redirect from Kernel of a morphism)
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...
7 KB (950 words) - 06:26, 1 October 2023
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...
26 KB (4,319 words) - 18:56, 26 July 2024
Glossary of algebraic geometry (redirect from Projective morphism)
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...
82 KB (12,488 words) - 04:04, 4 August 2024
Outline of category theory (section Morphisms)
Monomorphism Zero morphism Normal morphism Dual (category theory) Groupoid Image (category theory) Coimage Commutative diagram Cartesian morphism Slice category...
5 KB (402 words) - 15:20, 29 March 2024
normal point under a proper birational morphism is connected. A generalization due to Grothendieck describes the structure of quasi-finite morphisms of...
11 KB (1,601 words) - 10:54, 25 June 2024
Monomorphism (redirect from Monic morphism)
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 →...
10 KB (1,362 words) - 10:05, 6 August 2024