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.