Building an abstraction to pull out common logic does not require category theory.