Comment by hkopp

I have studied math and was in some lectures about category theory. I still don't get what the project is about and that fact intrigues me.