The Mathematician's Weapon | An Intro to Category Theory, Abstraction and Algebra
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 Theo... ) with some fixes.

Universal Construction | Category Theory and Why We Care 1.2

Bourbaki vs. Category Theory: What is Mathematics About?

#40 Homotopy Type Theory Explained: Groupoids, Types as Categories

Has an AI discovered new maths?

The Most Abstract Area of Mathematics

Programming with Math | The Lambda Calculus

Ramanujan's favorite coincidence (it's not a coincidence)

The Language of Categories | Category Theory and Why We Care 1.1

The Unreasonable Effectiveness of Group Theory

Why don't they teach simple visual logarithms (and hyperbolic trig)?

27 Unhelpful Facts About Category Theory

The Riemann Hypothesis, Explained

What everyone gets wrong about the double slit experiment

Why Peter Scholze is once in a Generation Mathematician

Computer Science ∩ Mathematics (Type Theory) - Computerphile

Squares are 83.2% circle

math slop has hit a new low!

The Most Unorthodox Mathematician Of Our Times

The Biggest Project in Modern Mathematics

