F-coalgèbre

F-coalgèbre
██████████30 % Traduction --- (en) F-coalgebra → (fr) F-coalgèbre --- (+)
 

En mathématiques, et plus particulièrement en théorie des catégories, une F-coalgèbre est une structure définie par rapport à un foncteur F. La notion de F-coalgèbre possède des applications en informatique, notamment pour l'évaluation paresseuse, pour les structures de données infinies comme les flux ou pour les systèmes transitionnels.

Les F-coalgèbres sont une forme duale des F-algèbres (en).

Définition

On appelle F-coalgèbre sur un endofoncteur

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

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

\alpha : A \longrightarrow FA.

Les homomorphismes des F-coalgèbres sont les morphismes

f:A\longrightarrow B

dans \mathcal{C} tel que :

Ff\circ \alpha = \beta \circ f.

Une F-coalgèbre associée à un foncteur F constitue une catégorie.

Exemples

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue !

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article F-coalgèbre de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Coalgebre — Coalgèbre En mathématiques, la notion de coalgèbre est une notion duale de celle d algèbre sur un anneau ou sur un corps. Informellement, une algèbre A est un espace vectoriel (ou un R module) qui est muni en plus d une multiplication, c est à… …   Wikipédia en Français

  • Coalgèbre — En mathématiques, la notion de coalgèbre est une notion duale de celle d algèbre sur un anneau ou sur un corps. Informellement, une algèbre A est un espace vectoriel (ou un R module) qui est muni en plus d une multiplication, c est à dire d une… …   Wikipédia en Français

  • Bialgebre — Bialgèbre En mathématiques, une bialgèbre ou bigèbre est un ensemble qui possède à la fois une structure d algèbre et une structure de coalgèbre, et tel que ces deux structures soient compatibles entre elles. Les algèbres de Hopf sont en… …   Wikipédia en Français

  • Bialgèbre — En mathématiques, une bialgèbre ou bigèbre est un ensemble qui possède à la fois une structure d algèbre et une structure de coalgèbre, et tel que ces deux structures soient compatibles entre elles. Les algèbres de Hopf sont en particulier des… …   Wikipédia en Français

  • Cocommutativité — En mathématiques, la cocommutativité est une notion duale de la notion de commutativité. Définition Soit (A,Δ) une coalgèbre. Pour tout x appartenant à A, on note La coalgèbre A est dite cocommutative si  …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • Algèbre (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Le mot « algèbre » vient de l arabe ’al ǧabr (« réduction »), désignant une technique de chirurgie des membres puis une technique de… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”