Why Category Theory Matters.