adamShimi comments on Category Theory Without The Baggage