Who is upvoting this? I love category theory and use it to reason about types and programs, but what even is this article. OP's glossary entry on "Kernel Category" makes me feel that they are just making up nonsense.

I would like to discuss the problem of how so many programmers are turned off by category theory despite the fact that they could benefit from learning it, but I don't know that this article really provides the prompt for such a discussion.