Let J, g : C D be morphisms of a category . For each X in

Question:

Let J, g : C → D be morphisms of a category ℓ. For each X in ℓ let image(a) Eq( - ,∫,g) is a contra variant functor from ℓ to the category of sets.

(b) A morphism i: K → C is a difference kernel of (f,g) if and only if Eq(- ,→,g) is representable with representing object K (that is, there is a natural isomorphism τ: hom(-,K) → Eq(- ,∫,g)). 

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question
Question Posted: