johnswentworth comments on Category Theory Without The Baggage

[johnswentworth]

Fixed, thanks.