The Mathematician's Weapon | Category Theory and Why We Care 1.0

Video Description

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.