The Mathematician's Weapon | An Intro to Category Theory, Abstraction and Algebra

An intuitive introduction to abstraction, set theory, and category theory, showing how these mathematical concepts relate to programming.

A gentle introduction to the study of category theory and abstract algebra, done from the ground-up by exploring the mathematical weapon of abstraction. This video aims to give an overview of the fundamental tool at the forefront of pure mathematical research: abstraction. By seeing this tool in various contexts, and how it allows us to encounter category theory in a natural and intuitive manner, we'll see how beautiful the abstract can really be. ― Timestamps ― 0:00 - Intro 1:49 - Abstraction and Algebra 7:30 - Examples of Abstraction 8:49 - Set Theory 13:25 - Category Theory 21:16 - Outro ― Credits ― All animation and voiceover created by Eyesomorphic. Background music: 'Abstraction', composed by Caleb Peppiatt. ― Further Reading ― Category Theory for Programmers: The Preface, by Bartosz Milewski: bartoszmilewski.com/2014/10/28/category-theory-for-programme… Category Theory for Computing Science, by Michael Barr & Charles Wells (Book) ― Please Note ― Sorry for the woeful audio levels and patchy editing, this was my first shot at making a video! I've kept the video up for nostalgia purposes but it should be noted that I have re-uploaded the video (youtu.be/DrldYpmwN5s) with some fixes.