University of Cambridge > Talks.cam > Logic & Semantics for Dummies > The lambda calculus as an initial monad

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

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

ℹī¸ Information

The lambda calculus as an initial monad

Download to your calendar using vCal

If you have a question about this talk, please contact Ian Orton .

We will see how untyped lambda-calculus can be seen in category theory as a functor which is the initial object of the category of exponential monads. One can also do a very similar work with simply-typed lambda calculus. Every concept will be defined during the talk. This talk is based on the article from Julianna Szido called ‘Le lambda calcul vu comme monade initiale’.

This talk is part of the Logic & Semantics for Dummies series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Mackenzie-Stuart Lectures Average on weekdays: 9094.4671151 kWh Racial Equality Talks

Other talks

Title to be confirmed Title TBC Alicia Anderson discussing some exciting news about HARPS3 Title to be confirmed Tea and Coffee Break Title TBC
 

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