Interesting. Any tips on what to read up on to get a background on this sort of math?
I found it to be thorough and relatively gentle (for something as abstract as category theory anyways!)
For example, Haskell folks seem to love to make everything about Category theory but they're not necessarily the best example since Haskell is a bit weird from a Category theory standpoint (currying isn't that natural, and is in fact a deeply abstract property that only some categories have). You'll know things have gone off the deep end when you see the word Applicative.
The C# folks tend to be a bit more down to earth with their category theory (with their contravariant / covariant type parameters and SelectMany = Monad), but they write fewer articles on category theory.
Care to expand? As far as I know, the main "weird" thing about Haskell category-theoretically is seq, which is a real pain to reason about[0], but it's strange to me that you see currying as somehow a problem.
[0]: http://math.andrej.com/2016/08/06/hask-is-not-a-category/
a -> (b -> c) ≅ (a, b) -> c
Note that the two aren't equal, merely isomorphic, but Haskell has lots of synctactic sugar that lets you pretend the two are equal.
This leads to a bit of an impedance mismatch when you throw functors in the mix, as functors are a general category theory concept and therefore do not play nice with exponential objects which only some specific categories have. This is not an insurmountable problem, but it means you suddenly need a lot more category theory to do category theory in Haskell.
Without currying as first class citizen you can just lift a function f :: (a,b) -> c as follows:
fmap f :: F (a, b) -> F c
okay you've got a tuple in your functor, but those are simple enough to deal with, however if you try this with the curried variant you get:
fmap f :: F a -> F (b -> c)
okay it takes an 'F a' as input, no surprises there, but it returns you a function wrapped in your Functor, which can be tricky to deal with as most people will expect their constructs to contain data, not functions.
You can then get to grips with this by learning about Appplicative, which you'll then find out turns your functor into a lax monoidal functor. However for someone getting to grips with category theory this is a lot to process.