Math Graduate Student Seminar

Christian Williams, UC Riverside

"The Monad"

Theoretical computer science has been blossoming for decades, through the dao of category theory. In my time here at UCR, I will be telling you all about these beautiful ideas and why you should care - I mean, if you let me.

The first step is clear: the monad. Contemplated by philosophers throughout history, it is now loved and feared by modern programmers. But we, as learn-ed mathematicians, will grasp this concept as effortlessly as a childhood dream. What is it all about? Action by composition.

The monad is the two-dimensional generalization of the monoid, and the core of higher algebra. We will explore provocative statements such as "a category is just a monad", "RMod is just a slice of a double category", and "a distributive law is just a monad in a bicategory of monads".

At the end, I will give a brief demonstration of formal verification software, and talk about why we should learn to code our research.

Thank you for reading, and I hope to see you there!

Friday, November 30 at 1:10pm to 2:00pm

Skye Hall (Surge Hall), 268

Event Type



Faculty & Staff, Graduate Students, Undergraduate Students, General Public


Google Calendar iCal Outlook

Recent Activity