Property |
Value |
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. (fr)
- 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. (fr)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 5553 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
|
- 1997 (xsd:integer)
- 2007 (xsd:integer)
- 2009 (xsd:integer)
- 2011 (xsd:integer)
- 2012 (xsd:integer)
- 2015 (xsd:integer)
- 2016 (xsd:integer)
- October 2016 (fr)
|
prop-fr:auteur
|
- Bart Jacobs (fr)
- Davide Sangiorgi (fr)
- Eduardo Giménez et Pierre Castéran (fr)
- Jan Rutten (fr)
- Pierre-Marie Pédrot (fr)
- Bart Jacobs (fr)
- Davide Sangiorgi (fr)
- Eduardo Giménez et Pierre Castéran (fr)
- Jan Rutten (fr)
- Pierre-Marie Pédrot (fr)
|
prop-fr:collection
|
- Cambridge Tracts in Theoretical Computer Science (fr)
- Cambridge Tracts in Theoretical Computer Science (fr)
|
prop-fr:consultéLe
| |
prop-fr:isbn
| |
prop-fr:issn
| |
prop-fr:jour
| |
prop-fr:journal
|
- Bulletin EATCS (fr)
- Mathematical Structures in Computer Science (fr)
- Bulletin EATCS (fr)
- Mathematical Structures in Computer Science (fr)
|
prop-fr:langue
| |
prop-fr:lieu
|
- Cambridge (fr)
- Cambridge (fr)
|
prop-fr:mois
| |
prop-fr:nom
|
- Silva (fr)
- Kozen (fr)
- Silva (fr)
- Kozen (fr)
|
prop-fr:numéro
|
- 7 (xsd:integer)
- 62 (xsd:integer)
|
prop-fr:pages
|
- 15 (xsd:integer)
- 222 (xsd:integer)
- 1132 (xsd:integer)
|
prop-fr:pagesTotales
| |
prop-fr:prénom
|
- Dexter (fr)
- Alexandra (fr)
- Dexter (fr)
- Alexandra (fr)
|
prop-fr:présentationEnLigne
| |
prop-fr:périodique
|
- ACM Trans. Program. Lang. Syst (fr)
- ACM Trans. Program. Lang. Syst (fr)
|
prop-fr:sousTitre
|
- Towards Mathematics of States and Observation (fr)
- Towards Mathematics of States and Observation (fr)
|
prop-fr:titre
|
- "A Tutorial on [Co-]Inductive Types in Coq" (fr)
- A Survey of coinduction in Coq (fr)
- A Tutorial on Algebras and Induction (fr)
- Advanced Topics in Bisimulation and Coinduction (fr)
- Introduction to Bisimulation and Coinduction (fr)
- Introduction to Coalgebra (fr)
- On the origins of bisimulation and coinduction (fr)
- Practical coinduction (fr)
- "A Tutorial on [Co-]Inductive Types in Coq" (fr)
- A Survey of coinduction in Coq (fr)
- A Tutorial on Algebras and Induction (fr)
- Advanced Topics in Bisimulation and Coinduction (fr)
- Introduction to Bisimulation and Coinduction (fr)
- Introduction to Coalgebra (fr)
- On the origins of bisimulation and coinduction (fr)
- Practical coinduction (fr)
|
prop-fr:url
| |
prop-fr:volume
|
- 27 (xsd:integer)
- 31 (xsd:integer)
|
prop-fr:wikiPageUsesTemplate
| |
prop-fr:éditeur
|
- Cambridge University Press (fr)
- Cambridge University Press (fr)
|
dct:subject
| |
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. (fr)
- 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. (fr)
|
rdfs:label
|
- Coalgebra (en)
- Coalgèbre (fr)
- Coálgebra (es)
- Coálgebra (pt)
- Koalgebra (de)
- Коалгебра (ru)
- 余代数 (ja)
- 餘代數 (zh)
|
rdfs:seeAlso
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |