Definition, synonyms and related words
A couple of morphisms which constitute the pullback of a given morphism along itself.