So why should I care about category theory?