Monadic Maps and Folds for Arbitrary Datatypes (1994)
by
Maarten Fokkinga
| Venue: | Memoranda Informatica, University of Twente |
| Citations: | 15 - 0 self |
BibTeX
@TECHREPORT{Fokkinga94monadicmaps,
author = {Maarten Fokkinga},
title = {Monadic Maps and Folds for Arbitrary Datatypes},
institution = {Memoranda Informatica, University of Twente},
year = {1994}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
