There are many category theory implementations, but this one is mine - View it on GitHub