Rafael Harth comments on Category Theory Without The Baggage