- When?
- January 13, 2026 5:00 PM
- Where?
- BB 5161.0105
What?
What do a computer database, a topological space, and a logical proof have in common? On the surface, they seem like distinct islands in the archipelago of mathematics. But beneath the surface, there is a structural bedrock connecting them all.
Join us for an interactive exploration of Category Theory - a field that can be described as "the mathematics of mathematical concepts." Rather than focusing on what mathematical objects are (their internal composition), Category Theory asks how they behave and relate to one another.
In this hands-on workshop we will develop an algebraic approach that allows us to formalise and reason about mathematics across different fields and disciplines. Whether you are an undergraduate curious about the big picture or a graduate student looking for structural clarity, you will leave with a new lens on mathematics. No prior experience with Category Theory is required, just an open mind and a willingness to think about mathematics differently.