The Algebraic Weak Factorisation System for Delta Lenses - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2023

The Algebraic Weak Factorisation System for Delta Lenses

Résumé

Delta lenses are functors equipped with a suitable choice of lifts, and are used to model bidirectional transformations between systems. In this paper, we construct an algebraic weak factorisation system whose R-algebras are delta lenses. Our approach extends a semi-monad for delta lenses previously introduced by Johnson and Rosebrugh, and generalises to any suitable category equipped with an orthogonal factorisation system and an idempotent comonad. We demonstrate how the framework of an algebraic weak factorisation system provides a natural setting for understanding the lifting operation of a delta lens, and also present an explicit description of the free delta lens on a functor.
Fichier principal
Vignette du fichier
Clarke-ACT2023-submitted.pdf (290.76 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04089742 , version 1 (05-05-2023)
hal-04089742 , version 2 (18-12-2023)

Identifiants

Citer

Bryce Clarke. The Algebraic Weak Factorisation System for Delta Lenses. 2023. ⟨hal-04089742v1⟩
42 Consultations
24 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More