Zero Morphism

In category theory, a zero morphism is a special kind of "trivial" morphism. Suppose C is a category, and for any two objects X and Y in C we are given a morphism 0XY : XY with the following property: for any two morphism f : RS and g : UV we obtain a commutative diagram:
Then the morphisms 0XY are called a family of zero morphisms in C. By taking f or g to be the identity morphism in the diagram above, we see that the composition of any morphism with a zero morphism results in a zero morphism. Furthermore, if a category has a family of zero morphisms, then this family is unique. If a category has zero morphisms, then one can define the notions of kernel and cokernel in that category.

Examples

0XY : X → 0 → Y
The family of all morphisms so constructed is a family of zero morphisms for C.

 

<< PreviousWord BrowserNext >>
pink flamingos
reynard
palazzo farnese, rome
dodge aries
cambronne
iris t
music of taiwan
paris hall of justice
le de la cit
air to air missile
tarski's theorem
association of reformed baptist churches of america
gummy bear
arthur lee
tour de france soundtracks
gun control act of 1968
hiyama subprefecture
pygmy right whale
neil tennant
peace of augsburg
asahi
genpei war
sorachi subprefecture
discovery world
disney's adventures of the gummi bears
pollenizer
glasgow queen street station
list of bisexuals
clericis laicos
shiribeshi subprefecture
outrapo
kamikawa subprefecture
rumoi subprefecture
soya subprefecture
salzburg festival
abashiri subprefecture
alexander i of macedon
iburi subprefecture
hidaka subprefecture
tokachi subprefecture
kushiro subprefecture
nemuro subprefecture
marc blitzstein
billy bean