kernel pair

/K ER1 N AH0 L P EH0 R/
noun
  1. 1

    (category theory) A couple of morphisms which constitute the pullback of a given morphism along itself.