Crudely lift objects in the base category so that new morphisms can be defined for them. E.g. group homomorphisms.
Abelian category.