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

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

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
n27https://ncatlab.org/nlab/show/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
n23http://g.co/kg/m/
n14https://www.xn--pdrot-bsa.fr/slides/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-hrhttp://hr.dbpedia.org/resource/
n20http://www.cs.ru.nl/B.Jacobs/PAPERS/
n21https://www.quora.com/topic/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
n15http://www.labri.fr/perso/casteran/
n4http://fr.dbpedia.org/resource/Modèle:
n12http://www.cambridge.org/
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n19http://ma-graph.org/entity/
dbpedia-zhhttp://zh.dbpedia.org/resource/
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/
n13https://www.cs.cornell.edu/~kozen/Papers/Structural.pdf%7Cdoi=10.1017/

Statements

Subject Item
dbpedia-fr:Coalgèbre
rdfs:label
余代数 Coalgebra 餘代數 Коалгебра Coálgebra Koalgebra Coalgèbre Coálgebra
rdfs:comment
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 -module) qui est muni en plus d'une multiplication, c'est-à-dire d'une application qui compose deux éléments de A pour en construire un troisième. Une coalgèbre C est donc un espace vectoriel (ou un -module) muni d'une comultiplication, c'est-à-dire-d'une application qui prend un élément de C et qui en retourne deux.
rdfs:seeAlso
n21:Coalgebra n27:coalgebra
owl:sameAs
dbpedia-de:Koalgebra dbpedia-uk:Коалгебра dbr:Coalgebra n19:2778249326 dbpedia-ru:Коалгебра n23:01t59d dbpedia-pt:Coálgebra dbpedia-hr:Koalgebra dbpedia-ja:余代数 wikidata:Q1777803 dbpedia-es:Coálgebra dbpedia-zh:餘代數
dbo:wikiPageID
2009761
dbo:wikiPageRevisionID
167048939
dbo:wikiPageWikiLink
dbpedia-fr:Mathématiques category-fr:Algèbre dbpedia-fr:Élément_neutre dbpedia-fr:Cocommutativité dbpedia-fr:Associativité category-fr:Groupes_quantiques dbpedia-fr:Algèbre_de_Hopf dbpedia-fr:Anneau_unitaire dbpedia-fr:Espace_dual category-fr:Structure_externe dbpedia-fr:Bialgèbre dbpedia-fr:Algèbre_sur_un_anneau
dbo:wikiPageExternalLink
n12:9781107177895 n20:JR.pdf n14:rapido-06-15.pdf n15:RecTutorial.pdf n13:S0960129515000493
dbo:wikiPageLength
5553
dct:subject
category-fr:Algèbre category-fr:Structure_externe category-fr:Groupes_quantiques
prop-fr:wikiPageUsesTemplate
n4:Ébauche n4:Ouvrage n4:Article n4:Portail n4:Lien_web
prov:wasDerivedFrom
wikipedia-fr:Coalgèbre?oldid=167048939&ns=0
prop-fr:année
2016 October 2016 2007 2015 2012 2011 2009 1997
prop-fr:auteur
Bart Jacobs Jan Rutten Eduardo Giménez et Pierre Castéran Pierre-Marie Pédrot Davide Sangiorgi
prop-fr:collection
Cambridge Tracts in Theoretical Computer Science
prop-fr:consultéLe
2018-06-29
prop-fr:isbn
978
prop-fr:issn
960
prop-fr:jour
18
prop-fr:journal
Bulletin EATCS Mathematical Structures in Computer Science
prop-fr:langue
en
prop-fr:lieu
Cambridge
prop-fr:mois
juin
prop-fr:nom
Kozen Silva
prop-fr:numéro
7 62
prop-fr:pages
222 1132 15
prop-fr:pagesTotales
494
prop-fr:prénom
Dexter Alexandra
prop-fr:présentationEnLigne
n12:9781107177895
prop-fr:périodique
ACM Trans. Program. Lang. Syst
prop-fr:sousTitre
Towards Mathematics of States and Observation
prop-fr:titre
Introduction to Bisimulation and Coinduction A Tutorial on Algebras and Induction Advanced Topics in Bisimulation and Coinduction Practical coinduction "A Tutorial on [Co-]Inductive Types in Coq" Introduction to Coalgebra A Survey of coinduction in Coq On the origins of bisimulation and coinduction
prop-fr:url
n13:S0960129515000493 n14:rapido-06-15.pdf n15:RecTutorial.pdf n20:JR.pdf
prop-fr:volume
31 27
prop-fr:éditeur
Cambridge University Press
foaf:isPrimaryTopicOf
wikipedia-fr:Coalgèbre
dbo:abstract
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 -module) qui est muni en plus d'une multiplication, c'est-à-dire d'une application qui compose deux éléments de A pour en construire un troisième. Une coalgèbre C est donc un espace vectoriel (ou un -module) muni d'une comultiplication, c'est-à-dire-d'une application qui prend un élément de C et qui en retourne deux.