Arrows, Structures, and Functors: The Categorical Imperative