I'm not a mathematician but I'm fairly sure this is only loosely related to category theory. For example, I don't think there is any concept of guarded functions, contracts, etc. in category theory. The video series should probably have been called "Functional Javascript" or something. Excellent videos nonetheless!
Thanks for the links! I didn't realize there was such a strong connection between programming languages and category theory. I just grabbed the book Conceptual Programming to get a better understanding.