Comment by namarkiv

Category theory is about making trivial things trivially trivial.