The Joy of Abstraction: An Exploration of Math, Category Theory, and Life - Eugenia Cheng