What is category theory (and why is it important)?