I scanned through the first 50 slides or so. I've read and drawn out the first few chapters to myself of "Categories for the Working Mathematician", so for me -

I scanned through the first 50 slides or so. I've read and drawn out the first few chapters to myself of "Categories for the Working Mathematician", so for me - this was a very nice presentation that graphically illustrated the key forms and key semantics. I look forward to reading the code parts. But I have to agree with other posters - it took a lot of studying to get to the point where I can understand your slides. I think by the time you can read mathematics like this, it is because you already understand it verbosely. As for people who don't agree that this is for beginners, I don't think you will be able to feel like you get it until you sit down with the work and stare at it a lot until it makes sense to you. It sounds stupid and silly, but that's the only way I can really communicate how to learn this stuff with a feeling of adequate understanding. The simplicity and elegance of the pictures do not adequately convey how difficult this stuff is to comprehend, especially if your mathematical foundation involves reasoning about real things. It is descriptive of abstract layers of terms, and the relationships they construct. Category theory is essentially the math of maths.