Hacker News new | ask | show | jobs
by raidicy 680 days ago
I am on the 5th video in this series. *I can not recommend Richard Southwell enough.*

He is an extremely clear communicator with the ability to break down Extremely abstract things in a way that makes them easily digestible.

For context I am a hobby mathematician who is only worked a quarter of way through proof book. I know some set theory and some trigonometry really. Just with that knowledge richard Southwell has been able to convey some extremely deep connections in mathematics in a way even I can understand them.

The intro video to this course talks about an extremely steep learning curve but a very very nice payoff halfway through the course and he's absolutely right! Computational Trinitarianism blew my mind. I had always been spotting out little patterns and random little pockets of math and seeing that those are not accidental and are usable and Studiable has really changed in my understanding of what mathematics actually is and what it can do.

Once I am done with this course I am going to dive into his strictly category theory one.

The only thing that's A slight damper is that there are no canonical homework questions. He has directed open study which is really really great for self exploration, however.

1 comments

Amazing! I am on the 3rd video right now.

Loving the series so far. I love his enthusiasm.

For homework, I am drawing out the sets and categories on paper. And explaining to myself the ideas explored in the lectures.

Thank you for sharing your experience!

This is specifically just for categories I haven't touched anything else, But what I did is I constructed my own category based off of perfect rhymes[0]. And for each property that he introduced I tried to assemble some rules so that it fit. I've got it proved for just the bare basics of a category (Reflexivity transitivity, Composition) And the binary operation is just a rhyming relation. Concept wise I'm kind of hung up on products and Co products. I think I understand them when they're in a category But I'm not really understanding it in the abstract sense.

[0]https://en.wikipedia.org/wiki/Perfect_and_imperfect_rhymes