I've been collaborating on an exciting project for quite some time now, and today I'm happy to share it with you. There is a new topology book on the market! Topology: A Categorical Approach is a graduate-level textbook that presents basic topology from the modern perspective of category theory. Coauthored with Tyler Bryson and John Terilla, Topology is published through MIT Press and will be released on August 18, 2020. But you can pre-order on Amazon now!

relaxing a notion of “sameness” gives us extra currency with which to explore new phenomena

Welcome back to our mini-series on categorical limits and colimits! In Part 1 we gave an intuitive answer to the question, "What are limits and colimits?" As we saw then, there are two main ways that mathematicians construct new objects from a collection of given objects: 1) take a "sub-collection," contingent on some condition or 2) "glue" things together. The first construction is usually a limit, the second is usually a colimit. Of course, this might've left the reader wondering, "Okay... but what are we taking the (co)limit of ?" The answer? A diagram. And as we saw a couple of weeks ago, a diagram is really a functor.

I'd like to embark on yet another mini-series here on the blog. The topic this time? Limits and colimits in category theory! But even if you're not familiar with category theory, I do hope you'll keep reading. Today's post is just an informal, non-technical introduction. And regardless of your categorical background, you've certainly come across many examples of limits and colimits, perhaps without knowing it! They appear everywhere--in topology, set theory, group theory, ring theory, linear algebra, differential geometry, number theory, algebraic geometry. The list goes on. But before diving in, I'd like to start off by answering a few basic questions.

This post made the concept of “indexing,” used across mathematics, click for me.

Have you ever come across the words "commutative diagram" before? Perhaps you've read or heard someone utter a sentence that went something like, "For every [bla bla] there existsa [yadda yadda] such thatthe following diagram commutes." and perhaps it left you wondering what it all meant.

an often fruitful way to discover properties of an object is not to investigate the object itself, but rather to study the collection of maps to or from the object.