Lens put-put laws: monotonic and mixed

Michael Johnson, Robert Rosebrugh

Research output: Contribution to journalArticlepeer-review

9 Citations (Scopus)
7 Downloads (Pure)

Abstract

Many authors have argued, for good reasons, that in a range of applications the lens put-put law is too strong. On the other hand, the present authors have shown that very well behaved lenses, which do satisfy the put-put law by definition, are algebras for a certain monad, and that this viewpoint admits fruitful generalisations of the lens concept to a variety of base categories. In the algebra approach to lenses, the put-put law corresponds to the associativity axiom, and so is fundamentally important. Thus we have a dilemma. The put-put law seems inappropriate for many applications, but is fundamental to the mathematical development that can support an extended range of applications. In this paper we resolve this dilemma. We outline monotonic put-put laws and introduce a new mixed put-put law that appears to be immune to many of the objections to the classical put-put law, and still supports a very satisfactory mathematical foundation.

Original languageEnglish
Number of pages13
JournalElectronic Communications of the EASST
Volume49
DOIs
Publication statusPublished - 2012

Bibliographical note

Version archived for private and non-commercial use with the permission of the author/s and according to publisher conditions. For further rights please contact the publisher.

Keywords

  • Algebra
  • Lens
  • Monad
  • Span
  • View update

Fingerprint Dive into the research topics of 'Lens put-put laws: monotonic and mixed'. Together they form a unique fingerprint.

Cite this