Processing math: 100%

F-algebra

Collection

context F in CC
definiendum A,α in it
postulate α:C[FA,A]

Discussion

Think types a and α's of type

type Algebra f a = f a -> a

Example

The following examples assume that C contains all the relevant ingredients (e.g. products).

Reference

Wikipedia: F-algbera

Parents

Context

Endofunctor