Coalgebraic update lenses
DOI10.1016/J.ENTCS.2014.10.003zbMATH Open1337.68084OpenAlexW2096533573WikidataQ113317853 ScholiaQ113317853MaRDI QIDQ283736FDOQ283736
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
Recommendations
lensesmonadsalgebrasbialgebrascoalgebrascomonadsdirected containersdistributive lawsliftingsmonoid acts
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)
Cites Work
- Categorical logic and type theory
- Monoids, acts and categories. With applications to wreath products and graphs. A handbook for students and researchers
- Adjoint functors and triples
- Title not available (Why is that?)
- Combining a monad and a comonad
- Containers: Constructing strictly positive types
- From comodels to coalgebras: state and arrays
- When is a container a comonad?
- Edit lenses
- Update monads: cointerpreting directed containers
- Algebras and update strategies
- Quotient lenses
- Symmetric lenses
- Title not available (Why is that?)
Cited In (13)
- 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
- 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)
