Person to object: Surely you're joking* ...!
|
person choice | identity person, age integer |
people father - mother | election voting age |
By @Eyesomorphic - https://www.youtube.com/@Eyesomorphic
"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 - Intro1:49 - Abstraction and Algebra7:30 - Examples of Abstraction8:49 - Set Theory13:25 - Category Theory21: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/28/category-theory-for-programmers-the-preface/
Category Theory for Computing Science, by Michael Barr & Charles Wells (Book)
*Person to object - and back again - assuring and preserving the humanistic.