Chapter 5. Category Theory