johnswentworth comments on Category Theory Without The Baggage