b'\n_START_ARTICLE_\nNulmorfisme\n_START_PARAGRAPH_\nIn de categorietheorie is een nulmorfisme een speciale soort van "triviaal" morfisme. Neem aan dat C een categorie is, en dat we voor twee willekeurige objecten X en Y in C een morfisme 0XY\xc2\xa0: X \xe2\x86\x92 Y geldt met de volgende eigenschap: voor elke twee willekeurige morfismen f\xc2\xa0: R \xe2\x86\x92 S en g\xc2\xa0: U \xe2\x86\x92 V verkrijgen we onderstaand commutatief diagram:_NEWLINE_Dan worden de morfismen 0XY een familie van morfismen in C genoemd._NEWLINE_Door aan te nemen dat f of g in bovenstaande diagram het identiteitsmorfisme is, zien we dat de samenstelling van elk willekeurig morfisme met een nulmorfisme in een nulmorfisme resulteert. Als een categorie verder een familie van nulmorfismen heeft, dan is deze familie uniek._NEWLINE_Als een categorie nulmorfismen heeft, dan kan men de noties van kern en cokern in die categorie defini\xc3\xabren._NEWLINE_Een morfisme is dan en slechts dan een nulmorfisme als het constant en coconstant is.'