Monadic Maps and Folds for Arbitrary Datatypes


Fokkinga, Maarten (1994) Monadic Maps and Folds for Arbitrary Datatypes. [Report]

open access
Abstract:Each datatype constructor comes equiped not only with a so-called map and fold (<i>catamorphism</i>), 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.
Item Type:Report
Additional information:Imported from EWI/DB PMS [db-utwente:tech:0000003538]
Copyright:© 1994 University of Twente, Department of Computer Science
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 121742