Question: Category Theory (Haskell)

[EricForgy]

Hi,

I am learning Julia and am interested in experimenting with some category theory. For example, I am thinking about how to build a "Categories" type starting with small categories and then defining functors between them, etc. Googling brought me to Haskell and functional programming and functional programming brought me here.

Any thoughts on the subject? Has anyone started looking into this for Julia we can compare notes?