I think the author of the post you're replying likely understands category theory terminology and is arguing that the article misuses it and is incoherent. Fun

I think the author of the post you're replying likely understands category theory terminology and is arguing that the article misuses it and is incoherent. Functional programming theory has relied heavily on category theory ever since functional programs needed to do IO (around the late 90s), so it's fairly common for programmers to understand some basic category theory these days. After all, many things in programming aren't mathematical functions, so if programmers want invariants, then they do indeed need more mathematical objects than lambda calculus supplies. A better attack on functional programmers would be that they cargo cult category theory - but I don't think the article author is in a position to make that argument.