@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"