Christian Williams, UC Riverside
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
You may login with your UCR NetID
In order to submit events, users must have a UCR email address (@ucr.edu). All events submitted by non-UCR users WILL be deleted.