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.
By first outlining a mathematically rigorous definition of a category, we can embark on a fascinating journey through category theory with examples from mathematics, computer science and logic.
This video establishes a good grounding for any keen mathematicians, formally trained or not, and aims to make dealing with the complicated structure of a category feel more natural. With plenty of examples to challenge your understanding, we'll venture into the incredibly abstract world of category theory.