University of Cambridge > Talks.cam > Junior Category Theory Seminar > A Monadgerie

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

A Monadgerie

Download to your calendar using vCal

If you have a question about this talk, please contact Guilherme Lima de Carvalho e Silva .

At first glance, a monad is something highly abstract and obscure to do with adjunctions or algebraic theories, so it’s surprising that functional programming languages like Haskell, Scala, and F# have embraced them as a tool to solve real engineering problems. It turns out they have a completely natural application to a remarkably diverse range of practical problems!

I’ll give a brief reminder of what a monad is, and then present two alternatives to the usual characterisations, and use them to explain why programmers are interested in monads and how you can use them. Then I’ll spend the remainder of the seminar running through as many examples of monads and their uses as I can, and some stuff about filtered colimits that I stumbled across and thought was just really cool.

This talk is part of the Junior Category Theory Seminar series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Online (Zoom): https://zoom.us/j/97015026296?pwd=RkNvcFJJWTl5OUUwQllXZFp6akJCdz09 Meeting ID: 970 1502 6296 Passcode: 507013 Thursday string seminars in person & via zoom

Other talks

Peri-Operative Medicine, and Obstetrics and Gynaecology Climate, uncertainty, and the slippery measurement of Antarctic ice Group Work Security Cooperation within Government and between Governments Title to be confirmed Group Presentation 3
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity