Category Theory for Programmers: Chapter 7 - Functors (by Example)