Coalgebraic update lenses

DOI10.1016/j.entcs.2014.10.003zbMath1337.68084OpenAlexW2096533573WikidataQ113317853 ScholiaQ113317853MaRDI QIDQ283736

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

lensescoalgebrascomonadsbialgebrasmonadsliftingsalgebrasdistributive lawsdirected containersmonoid 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)

Related Items (2)

The costructure–cosemantics adjunction for comodels for computational effects ⋮ Stateful runners of effectful computations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Categorical logic and type theory
• Combining a monad and a comonad
• Monoids, acts and categories. With applications to wreath products and graphs. A handbook for students and researchers
• Adjoint functors and triples
• Containers: Constructing strictly positive types
• When is a container a comonad?
• Edit lenses
• Update Monads: Cointerpreting Directed Containers
• Quotient lenses
• Symmetric lenses

This page was built for publication: Coalgebraic update lenses