Portability | non-portable |
---|---|

Stability | experimental |

Maintainer | sjoerd@w3future.com |

Alg(F), the category of F-algebras and F-homomorphisms.

# Documentation

Objects of Alg(F) are F-algebras.

type InitialFAlgebra f = InitialObject (Alg f)Source

The initial F-algebra is the initial object in the category of F-algebras.

type Cata f a = Algebra f a -> Alg f (InitialFAlgebra f) (Algebra f a)Source

A catamorphism of an F-algebra is the arrow to it from the initial F-algebra.

FixF provides the initial F-algebra for endofunctors in Hask.