What is “category theory” anyway?
Now that I’ve hopefully got you interested in exploring abstraction a bit further (if you already haven’t read my first blog post about abstraction and word games, check it out here), allow me to introduce you to the particular brand of abstraction that I and dozens of mathematicians around the world are dedicating years of […]