> once you have any expectation that your users know a little bit of category theory

I don't know that's a safe assumption tbh. Try throwing them some chapter 2 exercises from any category theory textbook.