Supervised categorical learning as change propagation with delta lenses

11/28/2019
by   Zinovy Diskin, et al.
0

Delta lenses are an established mathematical framework for modelling and designing bidirectional model transformations. Following the recent observations by Fong et al, the paper extends the delta lens framework with a a new ingredient: learning over a parameterized space of model transformations seen as functors. We define a notion of an asymmetric learning delta lens with amendment (ala-lens), and show how ala-lens can be organized into a symmetric monoidal (sm) category. We also show that sequential and parallel composition of well-behaved (wb) ala-lenses are also wb so that wb ala-lenses constitute a full sm-subcategory of ala-lenses.

READ FULL TEXT

page 1

page 2

page 3

page 4

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
11/28/2019

General supervised learning as change propagation with delta lenses

Delta lenses are an established mathematical framework for modelling and...
research
03/05/2019

Lenses and Learners

Lenses are a well-established structure for modelling bidirectional tran...
research
11/26/2019

Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput

Multiple (more than 2) model synchronization is ubiquitous and important...
research
10/23/2019

Towards a Complete Picture of Lens Laws

Bidirectional transformation, also called lens, has played important rol...
research
09/12/2022

Small PSL(2, 𝔽) representations of Seifert fiber space groups

Let M be a Seifert fiber space with non-abelian fundamental group and ad...
research
03/29/2022

Lenses for Composable Servers

We implement the semantics of server operations using parameterised lens...

Please sign up or login with your details

Forgot password? Click here to reset