Iteration and Primitive Recursion in Categorical Terms for Henk Barendregt’s 60th Birthday. Thanks for All Inspiring Discussions

Abstract

We study various well-known schemes for defining inductive and co-inductive types from a categorical perspective. Categorically, an inductive type is just an initial algebra and a coinductive type is just a terminal co-algebra. However, in category theory these notions are quite strong, requiring the existence of a certain map and its uniqueness. In a… (More)

Topics

Cite this paper

@inproceedings{Geuvers2007IterationAP, title={Iteration and Primitive Recursion in Categorical Terms for Henk Barendregt’s 60th Birthday. Thanks for All Inspiring Discussions}, author={Herman Geuvers and Erik Poll}, year={2007} }