• Corpus ID: 174798958

Multicategories of Multiary Lenses

@inproceedings{Johnson2019MulticategoriesOM,
  title={Multicategories of Multiary Lenses},
  author={Michael Johnson and Robert D. Rosebrugh},
  booktitle={Bx@PLW},
  year={2019}
}
Recently lens-like definitions of multidirectional transformations have appeared [2], encompassing both a “propagation” form (in the style of [5]) and a “wide span” form (in the style of [6]). These “multiary lenses” raise a number of new challenges that are addressed in this paper. First, in common with classical symmetric lenses, they need to be studied modulo equivalence relations that factor out differences in hidden data and declare two lenses to be equivalent if their observable… 

Lenses and Learners

TLDR
This paper shows 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 functorEmbedding the categories of learners into a categories of symmetric lenses.

Controllable and decomposable multidirectional synchronizations

TLDR
Very well-behaved multidirectional transformations are characterized, a non-trivial generalization from the bidirectional case, and a novel concept of controllability is introduced for the former challenge, while for the latter one a novel formal notion of faithful decomposition is proposed.

The more legs the merrier: A new composition for symmetric (multi-)lenses

This paper develops a new composition of symmetric lenses that preserves information which is important for implementing system interoperation. It includes a cut-down but realistic example of a

References

SHOWING 1-10 OF 11 REFERENCES

Spans of Delta Lenses

TLDR
The main result is an isomorphism of categories between a category whose morphisms are equivalence classes of symmetric delta lenses and the category of spans of delta lenses modulo the new equivalence.

Symmetric delta lenses and spans of asymmetric delta lenses

TLDR
The main result is an isomorphism of categories between a category whose morphisms are equivalence classes of symmetric delta lenses and the category of spans of delta lenses modulo the new equivalence.

Multiple Model Synchronization with Multiary Delta Lenses

TLDR
This work makes a step to restore the balance and proposes a notion of multiary delta lens, which features reflective updates, when consistency restoration requires some amendment of the update that violated consistency.

Unifying Set-Based, Delta-Based and Edit-Based Lenses

TLDR
A substantial unication with concrete inter-conversions developed among the three main approaches to lenses in both their symmetric and asymmetric forms is provided.

Lenses and Learners

TLDR
This paper shows 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 functorEmbedding the categories of learners into a categories of symmetric lenses.

Higher Operads, Higher Categories

Part I. Background: 1. Classical categorical structures 2. Classical operads and multicategories 3. Notions of monoidal category Part II. Operads. 4. Generalized operads and multicategories: basics

Backprop as Functor: A compositional perspective on supervised learning

TLDR
A key contribution is the notion of request function, which provides a structural perspective on backpropagation, giving a broad generalisation of neural networks and linking it with structures from bidirectional programming and open games.

Deductive systems and categories II. Standard constructions and closed categories

From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case

Symmetric lenses

TLDR
It is shown how the methods of universal algebra can be applied to build iterator lenses for structured data such as lists and trees, yielding lenses for operations like mapping, filtering, and concatenation from first principles.