When I first read Chapter 2 of "Category Theory for Programmers" (hereafter referred to as the text), there was a part I skipped over, thinking, "I guess that's an academic term." That was the two ...