<math xmlns="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>F</mi></mrow><annotation encoding="application/x-tex">F</annotation></semantics></math>F-algebra (algebra for an endofunctor)

Consider a proper category $C$ that can encode the signature of $F(-)$ , and an endofunctor $F : C \to C$ , the $F$ -algebra is a triple:

(F, x, \alpha)

where $\alpha : F \; x \to x$ is a $C$ -morphism.

Definition. FFF-algebra (algebra for an endofunctor) [math-000F]