The Category-Theoretical Imperative