Coalgebraic update lenses

DOI10.1016/J.ENTCS.2014.10.003MaRDI QIDQ283736zbMATH OpenOpenAlexWikidataFDO

Authors Danel Ahman, Tarmo Uustalu

Publication date 13 May 2016

Full work available at URL https://doi.org/10.1016/j.entcs.2014.10.003

zbMATH Keywords

lensesmonadsalgebrasbialgebrascoalgebrascomonadsdirected containersdistributive lawsliftingsmonoid acts

Mathematics Subject Classification ID

Database theory (68P15) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Recommendations

• Edit lenses
• Symmetric lenses
• Generic point-free lenses
• Towards an Algebraic Theory of Bidirectional Transformations
• Lenses, fibrations and universal translations

Cites work

• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• Adjoint functors and triples
• Algebras and update strategies
• Categorical logic and type theory
• Combining a monad and a comonad
• Containers: Constructing strictly positive types
• Edit lenses
• From comodels to coalgebras: state and arrays
• Monoids, acts and categories. With applications to wreath products and graphs. A handbook for students and researchers
• Quotient lenses
• Symmetric lenses
• Update monads: cointerpreting directed containers
• When is a container a comonad?

Cited in

(14)

• Generic point-free lenses
• Symmetric lenses
• Lifting twisted coreflections against delta lenses
• Matching lenses: alignment and view update
• Algebras and update strategies
• Towards an Algebraic Theory of Bidirectional Transformations
• Internal lenses as functors and cofunctors
• Stateful runners of effectful computations
• The costructure–cosemantics adjunction for comodels for computational effects
• Edit lenses
• A diagrammatic approach to symmetric lenses
• The safari of update structures: visiting the lens and quantum enclosures
• General supervised learning as change propagation with delta lenses
• Lenses, fibrations and universal translations

This page was built for publication: Coalgebraic update lenses

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q283736)