Categories and functors in mathematics