Lifting Operators and Laws

@inproceedings{Hinze2010LiftingOA,
  title={Lifting Operators and Laws},
  author={Ralf Hinze},
  year={2010}
}
Mathematicians routinely lift operators to structures. For instance, almost every textbook on calculus lifts addition pointwise to functions: ( f + g)(x) = f (x)+ g(x). In this particular example, the lifted operator inherits the properties of the base-level operator. Does this hold in general? In order to approach this problem, one has to make the concept of lifting precise. I argue that lifting can be defined generically using the notion of an applicative functor or idiom. In this setting… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-6 of 6 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 13 references

Functional Pearl: The Bird tree

Ralf Hinze
J. Functional Programming, • 2009
View 1 Excerpt

Fun with phantom

Ralf Hinze
Jeremy Gibbons and Oege de Moor, editors, The Fun of Programming, • 2003
View 1 Excerpt

Foundations for programming languages

Foundation of computing series • 1996

Higher-Order Functions for Parsing

J. Funct. Program. • 1992
View 1 Excerpt

Einführung in die Mathematik für Informatiker

Willibald Dörfler, Werner Peschek
Hanser Verlag, • 1988
View 1 Excerpt

Similar Papers

Loading similar papers…