[Koshkin]

Indeed; Haskell is purely functional, and Category Theory is nothing but a purely functional language of mathematics.

[epgui]

Category theory is not “purely functional”, it is about morphisms, and morphisms are more abstract than functions.

Category theory envelopes relations as well, as well as arguably anything else that can be formalized.