Kern (categorietheorie)

In de categorietheorie, een abstract deelgebied van de wiskunde, zijn kernen de algemene vorm van de kernen van groepshomomorfismen en van modulehomomorfismen en bepaalde andere kernen uit de abstracte algebra. Intuïtief is de kern van het morfisme $f:X\to Y$ het meest algemene morfisme $k:K\to X$ dat nul oplevert, wanneer samengesteld met, gevolgd door $f$.