F-uhlík

V matematice a konkrétněji v teorii kategorií je -coalgebra strukturou definovanou s ohledem na funktor . Pojem -coalgebra má aplikace v počítačové vědě , zejména pro líné hodnocení , pro nekonečné datové struktury, jako jsou toky nebo pro přechodné systémy . $F$ $F$ $F$

Tyto -coalgèbres jsou duální forma F-algebry (en) . $F$

Definice

Říkáme -coalgebra na endofunktoru $F$

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

jakýkoliv předmět z mající - morphism $NA$ $\ mathcal {C}$ $\ mathcal {C}$

{\ displaystyle \ alpha: A \ longrightarrow FA}

K homomorphisms z -coalgebras jsou morphisms $F$

{\ displaystyle f: A \ longrightarrow B}

v tom, že: $\ mathcal {C}$

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

-Coalgebra spojený s functor představuje kategorii. $F$ $F$