Concept information
Terme préférentiel
F-coalgèbre
Définition(s)
-
En mathématiques, et plus particulièrement en théorie des catégories, une -coalgèbre est une structure définie par rapport à un foncteur . La notion de -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 -coalgèbres sont une forme duale des F-algèbres.
(Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/F-coalg%C3%A8bre)
Concept(s) générique(s)
Traductions
-
anglais
URI
http://data.loterre.fr/ark:/67375/PSR-R968S0MQ-B
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}