This HTML5 document contains 34 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n16http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n12http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n7http://ma-graph.org/entity/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:F-coalgèbre
rdfs:label
F-coalgebra F-coalgèbre
rdfs:comment
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 (en).
owl:sameAs
n7:2778458268 dbr:F-coalgebra dbpedia-ja:F余代数 n16:06bwkl dbpedia-fa:F-هم‌جبر wikidata:Q3062935
dbo:wikiPageID
5338199
dbo:wikiPageRevisionID
162534483
dbo:wikiPageWikiLink
dbpedia-fr:Morphisme dbpedia-fr:Informatique category-fr:Théorie_des_catégories dbpedia-fr:Système_de_transition_d'états dbpedia-fr:Théorie_des_catégories dbpedia-fr:Foncteur category-fr:Programmation_fonctionnelle dbpedia-fr:Structure_de_données dbpedia-fr:Mathématiques dbpedia-fr:Évaluation_paresseuse
dbo:wikiPageLength
1382
dct:subject
category-fr:Théorie_des_catégories category-fr:Programmation_fonctionnelle
prop-fr:wikiPageUsesTemplate
n12:... n12:Lien n12:Portail
prov:wasDerivedFrom
wikipedia-fr:F-coalgèbre?oldid=162534483&ns=0
prop-fr:fr
F-algèbre
prop-fr:lang
en
prop-fr:texte
F-algèbres
prop-fr:trad
F-algebra
foaf:isPrimaryTopicOf
wikipedia-fr:F-coalgèbre
dbo:abstract
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 (en).