In July 2019, ICMS hosted a workshop on Category Theory.  During the workshop, Eugenia Cheng (School of the Art Institute of Chicago) gave a public lecture entitled Inclusion-Exclusion in mathematics and beyond: who stays in, who falls out, why it happens and what we could do about it. This is a recording of that talkThis talk has captions.  To turn the captions off, press CC on the bottom toolbar.

nLab is to collect the stable bits, organized, hyperlinked, usefully. ​ Such a far-flung structure is highly vulnerable and, once broken, impossible to restore.

“Category Theory is the greatest refactor of mathematics in history.”

You see, it's very different than other branches of math. Rather than being another sibling lined up in the family photograph, it's more like a common gene that unites them in the first place. With this vantage point, it becomes evident that different areas of math share common patterns/trends/structures. This becomes extraordinarily useful when you want to solve a problem in one realm (say, topology) but don't have the right tools at your disposal. By transporting the problem to a different realm (say, algebra), you can see the problem in a different light and perhaps discover new tools, and the solution may become much easier. a "template" for all of mathematics: depending on what you feed into the template, you'll recover one of the mathematical realms. Naturally, then, you're prompted to also ask about relationships between categories. These are called functors. But why stop there? What about the relationships between those relationships? These are called natural transformations. (And yes, you can ask a hierarchy of questions: "What about the relationships between the relationships between the relationships between the...?" This leads to infinity categories. [And a possible brain freeze.]