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  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.  is zelf normaal als ieder monomorfisme normaal is en  is conormaal als ieder epimorfisme normaal is. Tot slotte is  binormaal als  zowel normaal als conormaal is. Sommige auteurs noemen een morfisme normaal om aan te geven dat  binormaal is.

 

Categorietheorie