核 (圏論)
圏 C の射 f: X → Y に対して、f の核は f と X から Y への零射の等化子としても定義できる。記号で書けば,
ker(f) = eq(f, 0XY)
である。