Zero object left.
Identity morphism
Example: Intersection of ideals