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 ―

The Language of Categories:    • The Language of Categories | Category...  

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 ―

This video is a reupload of a previous version, hence why it was uploaded after the second lecture in this series. This was due to audio mixing issues with the first upload.