Ah yes, I remember buying that textbook
@lcamtuf "Category theory for the seasoned category theorist who lost all interest in communicating with non-category theorists but has to pretend like they are to get at least one grant per year to pay for heating and food"
@shimst3r @lcamtuf There is a reason for the saying "everyone's favorite textbook on category theory is the second one they read" (I guess until they decide to write one themselves)