Perhaps the purpose of categorical algebra is to show that that which is trivial,

Related:

• No inequity is too
  trivial...
• Nothing is so trivial as treating serious subjects
  in a trivial manner. --...
• All mathematics are trivial. -
  Mike...
• A good memory is one trained to forget the
  trivial...
• Insert inevitable trivial witticism of your
  choice...
• In every non-trivial program there is at least
  one bug...
• The solution of this problem is trivial and is left
  as an exercise for the reader...
• syntactic sugar n. [coined by Peter Landin] Features added to a language or other formalism to make it `sweeter' for humans,
  features which do not affect the expressiveness of...
• syntactic sugar: [coined by Peter Landin] n. Features added to a language or other formalism to make it `sweeter' for humans,
  features which do not affect the expressiveness of...