Monadic Maps and Folds for Arbitrary

@inproceedings{Fokkinga1994MonadicMA,
  title={Monadic Maps and Folds for Arbitrary},
  author={DatatypesMaarten Fokkinga},
  year={1994}
}
  • DatatypesMaarten Fokkinga
  • Published 1994
Each datatype constructor comes equiped not only with a so-called map and fold (catamorphism), as is widely known, but, under some condition, also with a kind of map and fold that are related to an arbitrary given monad. This result follows from the preservation of initiality under lifting from the category of algebras in a given category to a certain other category of algebras in the Kleisli category related to the monad. 

From This Paper

Topics from this paper.
44 Citations
20 References
Similar Papers

References

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

Calculate categorically! Formal Aspects of Computing, 4(4):673{692, 1992

  • M. M. Fokkinga
  • An abbreviated version has appeared in Computing…
  • 1991
Highly Influential
14 Excerpts

Adjunctions

  • M. M. Fokkinga, L. Meertens
  • Technical Report To appear, University of Twente…
  • 1992
Highly Influential
6 Excerpts

Categorical datatypes | a critique of Hagino's thesis

  • G. C. Wraith
  • Unpublished note, November
  • 1988
Highly Influential
5 Excerpts

Algebraic Data Types and Program Transformation

  • G. Malcolm
  • PhD thesis, Uni- versity of Groningen, The…
  • 1990
Highly Influential
4 Excerpts

Lecture notes on constructive functional programming

  • R. S. Bird
  • M. Broy, editor, Constructive Methods in…
  • 1989
Highly Influential
4 Excerpts

Category Theoretic Approach to Data Types

  • T. Hagino
  • PhD thesis, University of Edinburgh,
  • 1987
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…