[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.