Modern Foundations of Mathematics
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.