Ross Street. a famous category theorist at Macquarie University near Sydney, sent out an email saying just "Eugenia's in town!", with this photo from his cell phone:

[Eugenia Cheng]( did her Ph.D. with Martin Hyland in Cambridge, developing and fixing some ideas James Dolan and I had about \\(n\\)-categories. She's become a quite famous explainer of mathematics. She's giving a public talk here, explaining that category theory is "the logical study of the logical study of how logical things work". On May 28th she's giving a talk in Brisbane:

* [Category theory and life](

> **Abstract.** Category theory can be thought of as being “very abstract algebra”. It is thought of as “too abstract” by some people, and as “abstract nonsense” by some others. In this talk I will show that while it is abstract, it is far from being nonsense. I will argue that the abstraction has a purpose and that broad applicability is one of the powerful consequences. To demonstrate this, I will show how I apply concepts of category theory to important questions of life such as prejudice, privilege, blame and responsibility. I will introduce the category theory concepts from scratch so no prior knowledge is needed. These concepts will include objects and morphisms, isomorphisms and universal properties.

Here's a talk she gave at "Lambda World" last year: