kernel (category theory)

Let be a category enriched over category set* and .

Then the kernel - if it exists - is defined as pullback

resp. an equalizer

where is the designated morphism