F-coalgèbre

On appelle ${\displaystyle F}$-coalgèbre sur un endofoncteur

${\displaystyle F:{\mathcal {C}}\longrightarrow {\mathcal {C}}}$

tout objet ${\displaystyle A}$ de ${\displaystyle {\mathcal {C}}}$ muni d'un ${\displaystyle {\mathcal {C}}}$-morphisme

${\displaystyle \alpha :A\longrightarrow FA}$.

Les homomorphismes des ${\displaystyle F}$-coalgèbres sont les morphismes

${\displaystyle f:A\longrightarrow B}$

dans ${\displaystyle {\mathcal {C}}}$ tel que :

${\displaystyle Ff\circ \alpha =\beta \circ f}$.

Une ${\displaystyle F}$-coalgèbre associée à un foncteur ${\displaystyle F}$ constitue une catégorie.

• Portail de la programmation informatique
• Portail de l'informatique théorique