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: https://youtu.be/5Ykrfqrxc8o
Category Theory for Programmers: The Preface, by Bartosz Milewski: https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
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.