Applied Category Theory. Chapter 1, lecture 1 (Spivak)