Lenses, learners, and on the benefits of having one good leg

Mike Johnson – 12 February 2020

In the last few Math Department Colloquia last year, machine learning appeared twice with hardly a mention of category theory. This talk illustrates the importance of functorial decomposition of machine learning systems ('learners'), demonstrates how such decomposition can be managed (which involves 'good legs'), and reveals an unexpected connection to other category theoretic machinery ('lenses').