SPLH comments on Category Theory Without The Baggage