johnswentworth comments on Category Theory Without The Baggage

[johnswentworth]

Yup, that’s basically the idea.