Normaal morfisme

In de categorietheorie en haar toepassingen binnen de wiskunde is een normaal monomorfisme of normaal epimorfisme een zich bijzonder goedgedragend type morfisme. Een normale categorie is een categorie, waarin alle monomorfismen normaal zijn. Een categorie $C$ moet nulmorfismen hebben, anders heeft normaliteit geen zin. We zeggen dat een monomorfisme normaal is als het de kern van enig morfisme is en dat een epimorfisme normaal is, of conormaal, indien het de cokern van enig morfisme is. $C$ is zelf normaal als ieder monomorfisme normaal is en $C$ is conormaal als ieder epimorfisme normaal is. Tot slotte is $C$ binormaal als $C$ zowel normaal als conormaal is. Sommige auteurs noemen een morfisme normaal om aan te geven dat $C$ binormaal is.

• Sjabloon:Bronvermelding anderstalige Wikipedia