Highly Influenced

# Monadic Maps and Folds for Arbitrary

@inproceedings{Fokkinga1994MonadicMA, title={Monadic Maps and Folds for Arbitrary}, author={DatatypesMaarten Fokkinga}, year={1994} }

- 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

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential