Topology https://www.youtube.com/playlist?list=PLp0hSY2uBeP8jgD0wTQM-RjkakSEBdHUD Algebraic topology https://www.youtube.com/playlist?list=PLpRLWqLFLVTCL15U6N3o35g4uhMSBVA2b https://www.youtube.com/watch?v=kCTpfqRJ2kk&list=PLOROtRhtegr7DmeMyFxfKxsljAVsAn_X4 nonclassical logic https://www.youtube.com/playlist?list=PLwSlKSRwxX0qJh3OOvK2wNWqmOpRtsumB https://www.youtube.com/results?search_query=nonclassical+logic&sp=EgIQAw%253D%253D abstract algebra harvard https://www.youtube.com/playlist?list=PLzUeAPxtWcqzr80lS25FrzMn7a36BuXhj https://www.youtube.com/playlist?list=PLzUeAPxtWcqzr80lS25FrzMn7a36BuXhj https://www.youtube.com/playlist?list=PLA7B08F1D8252DE29 other https://www.youtube.com/playlist?list=PLmU0FIlJY-Mn3Pt-r5zQ_-Ar8mAnBZTf2 information theory harvard https://www.youtube.com/playlist?list=PLDEN2FPNHwVZKAFqfFl1b_NNAESTJwV9o https://www.youtube.com/results?search_query=information+theory&sp=EgIQAw%253D%253D MIT probability https://www.youtube.com/watch?v=ZgCBmERwZlI Algoritmic information theory https://youtu.be/8Q2G2OGHm1c?si=Cu5LH6wITTP5fuh- https://en.wikipedia.org/wiki/Music_and_mathematics https://proofwiki.org/wiki/Main_Page https://proofwiki.org/wiki/Category:Definitions/Branches_of_Mathematics Set theory https://www.youtube.com/playlist?list=PLuiPz6iU5SQ_3Gubdqa1JHBvM0GBFcIV0 https://www.youtube.com/playlist?list=PLPgKBibhNh73rAqxIaltEHw-qwMJISwOL https://www.youtube.com/results?search_query=set+theory+&sp=EgIQAw%253D%253D MIT real analysis https://www.youtube.com/watch?v=LY7YmuDbuW0 MIT mathematics for computer science https://www.youtube.com/playlist?list=PLB7540DEDD482705B foundations of mathematics https://www.youtube.com/results?search_query=foundations+of+mathematics&sp=EgIQAw%253D%253D https://www.youtube.com/playlist?list=PLpRE0Zu_k-BzsKBqQ-HEqD6WVLIHSNuXa https://www.youtube.com/playlist?list=PLCTMeyjMKRkqTM2-9HXH81tvpdROs-nz3 https://www.youtube.com/results?search_query=foundations+of+mathematics+set+theory+type+theory+category+theory&sp=EgIQAw%253D%253D https://www.youtube.com/playlist?list=PLybg94GvOJ9FoGQeUMFZ4SWZsr30jlUYK Metamathematics https://www.youtube.com/playlist?list=PLmsIjFudc1l1cAAuOKDvyzGclsSccUweY https://www.youtube.com/results?search_query=metamathematics Logic for CS, Shai Ben-David, U Waterloo Fall 2015, includes Godel incompleteness theorems https://www.youtube.com/playlist?list=PLzVTusWerVcKx3crsij5wrRfIqWp3UXc7 Formal languages https://www.youtube.com/playlist?list=PLOR30RPQx4ZpSbqGeg25iW-iqipvU8ZvY https://www.youtube.com/results?search_query=formal+languages&sp=EgIQAw%253D%253D algebraic topology lectures on Klein bottle https://youtu.be/ibg5KiG46nk?si=WZsE6amcG8SL85xW https://youtu.be/aCgEUmcbySY?si=9b5Gcx8p0tiDXNrO <https://youtu.be/SSglkY9dRwg?si=dA8tfZ8wwPLTm9ml> differential equations https://www.youtube.com/playlist?list=PLHXZ9OQGMqxde-SlgmWlCmNHroIWtujBw Information theory oxford https://www.youtube.com/watch?v=ScX2aBFyrVU stochastic processes https://www.youtube.com/results?search_query=stochastic+processes+lectures&sp=EgIQAw%253D%253D topos theory https://www.youtube.com/watch?v=Tz3B21zuMSw https://www.youtube.com/watch?v=gKYpvyQPhZo category theory https://www.youtube.com/playlist?list=PLCTMeyjMKRkoS699U0OJ3ymr3r01sI08l https://www.youtube.com/playlist?list=PLhgq-BqyZ7i5lOqOqqRiS0U5SwTmPpHQ5 https://www.youtube.com/watch?v=I8LbkfSSR58 https://www.youtube.com/watch?v=SmXB2K_5lcA model theory https://www.youtube.com/playlist?list=PLLxG_np9o-2cf3CawSVL9AO9f7BaDbGC4 measure theory https://youtube.com/results?sp=mAEA&search_query=Measure+theory+ https://huggingface.co/datasets/trl-lib/DeepMath-103K https://youtu.be/mTwvecBthpQ?si=UE4vW-yUZNPkJTLR Emily is great for category theory. She goes from scratch here, first explaining classic category theory before going into infinity category theory. With a lot of context, so it's not just throwing formalisms around.