核 (圏論)
普遍代数学は同じ種類の2つの代数的構造の間の準同型に対して核の概念を定義する。核のこの概念は与えられた準同型が単射からどれだけ離れているかを測る。この代数的な概念と核の圏論的な概念の間にはいくらか重なりがある,なぜならばどちらも上で述べた群や加群の状況を一般化するからである。しかしながら,一般には,核の普遍代数学的な概念は 核対(英語版) という圏論的な概念の方に近い。とくに,核対は圏論的なことばでモノイド論や環論における核を解釈するのに使うことができる。