Category theory is about making trivial things trivially trivial.