Category Theory (CT) is like Design Pattern, only difference is CT is a better mathematical pattern which you can prove, also it has no “SIDE-EFFECT” and with strongTyping.
The examples use Haskell to explain the basic category theory : product, sum, isomorphism, fusion, cancellation, functor…
Mathtuition88 