PLEASE NOTE: You can find the updated version of this video here:    • The Mathematician's Weapon | Category...  

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: https://bartoszmilewski.com/2014/10/2...

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 (   • The Mathematician's Weapon | Category...  ) with some fixes.