image — term in category theory