What is this I don't even?!

Haskell is Haskell, math is math, category theory is category theory. They are not the same, even if they have some things in common. Deal with it.