Lenses and Learners

03/05/2019
by   Brendan Fong, et al.
0

Lenses are a well-established structure for modelling bidirectional transformations, such as the interactions between a database and a view of it. Lenses may be symmetric or asymmetric, and may be composed, forming the morphisms of a monoidal category. More recently, the notion of a learner has been proposed: these provide a compositional way of modelling supervised learning algorithms, and again form the morphisms of a monoidal category. In this paper, we show that the two concepts are tightly linked. We show both that there is a faithful, identity-on-objects symmetric monoidal functor embedding a category of asymmetric lenses into the category of learners, and furthermore there is such a functor embedding the category of learners into a category of symmetric lenses.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/28/2019

General supervised learning as change propagation with delta lenses

Delta lenses are an established mathematical framework for modelling and...
research
11/28/2019

Supervised categorical learning as change propagation with delta lenses

Delta lenses are an established mathematical framework for modelling and...
research
11/28/2019

General supervised categorical learning as change propagation with delta lenses

Delta lenses are an established mathematical framework for modelling and...
research
04/07/2019

Network Models from Petri Nets with Catalysts

Petri networks and network models are two frameworks for the composition...
research
03/01/2021

Learners' languages

In "Backprop as functor", the authors show that the fundamental elements...
research
05/10/2020

Categorical Stochastic Processes and Likelihood

In this work we take a Category Theoretic perspective on the relationshi...
research
05/06/2019

Characterizing the invariances of learning algorithms using category theory

Many learning algorithms have invariances: when their training data is t...

Please sign up or login with your details

Forgot password? Click here to reset