Lambda World 2018 - Opening Keynote by Edward Kmett

47:49 3968 views 100% Published 3 years ago

This keynote by Edward Kmett took place at Lambda World Seattle on September 18th, 2018 at the Living Computers Museum in Washington. Opening Keynote: There and Back AgainMathematicians usually teach abstract algebra from groups and build up from there. Having inverses allows them to prove many non-trivial results. Functional programmers more often descend to working with monoids, or even semigroups. They give up the power of inverses to gain many more examples. You don't often hear about the shadowy realm between. Perfect inverses don't always exist, nor do we want them to. Going on a journey and returning rarely leaves the protagonist unchanged. If it does, this is usually taken as a poor example of the author's craft. We'll explore the middle-ground of regular and inverse semigroups, inverse monoids, even inverse categories. In this space where inverses may not invert, we'll develop examples and counter-examples. We'll gain some insight into spoken Australian English along the way. Join us.Follow: - - - for more details-

Watch on YouTube

Lambda World 2018

Lambda World 2018

From 25/10/2018 to 26/10/2018 in Cadiz, Spain