About: Coalgebra

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Coalgebra Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdfs:label	Coalgebra (en) Coalgèbre (fr) Coálgebra (es) Coálgebra (pt) Koalgebra (de) Коалгебра (ru) 余代数 (ja) 餘代數 (zh)
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)
rdfs:seeAlso	https://ncatlab.org/nlab/show/coalgebra https://www.quora.com/topic/Coalgebra
sameAs	Coalgebra Coalgebra Coalgebra Coalgebra Coalgebra Coalgebra Coalgebra Coalgebra Coalgebra Coalgebra Coalgebra Coalgebra
Wikipage page ID	2009761 (xsd:integer)
Wikipage revision ID	167048939 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Structure_externe Hopf algebra Algebra (ring theory) Unital ring Associative property dbpedia-fr:Bialgèbre category-fr:Algèbre category-fr:Groupes_quantiques dbpedia-fr:Cocommutativité Algebraic dual space Identity element dbpedia-fr:Mathématiques
Link from a Wikipage to an external page	https://www.cs.cornell.edu/~kozen/Papers/Structural.pdf%7Cdoi=10.1017/S0960129515000493 https://www.xn--pdrot-bsa.fr/slides/rapido-06-15.pdf http://www.cs.ru.nl/B.Jacobs/PAPERS/JR.pdf http://www.labri.fr/perso/casteran/RecTutorial.pdf http://www.cambridge.org/9781107177895
page length (characters) of wiki page	5553 (xsd:nonNegativeInteger)
dct:subject	category-fr:Structure_externe category-fr:Algèbre category-fr:Groupes_quantiques
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Lien_web dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Ébauche
prov:wasDerivedFrom	wikipedia-fr:Coalgèbre?oldid=167048939&ns=0
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)
prop-fr:collection	Cambridge Tracts in Theoretical Computer Science (fr)
prop-fr:consultéLe	2018-06-29 (xsd:date)
prop-fr:isbn	978 (xsd:integer)
prop-fr:issn	960 (xsd:integer)
prop-fr:jour	18 (xsd:integer)
prop-fr:journal	Bulletin EATCS (fr) Mathematical Structures in Computer Science (fr)
prop-fr:langue	en (fr)
prop-fr:lieu	Cambridge (fr)
prop-fr:mois	juin (fr)
prop-fr:nom	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	494 (xsd:integer)
prop-fr:prénom	Dexter (fr) Alexandra (fr)
prop-fr:présentationEnLigne	http://www.cambridge.org/9781107177895
prop-fr:périodique	ACM Trans. Program. Lang. Syst (fr)
prop-fr:sousTitre	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)
prop-fr:url	https://www.cs.cornell.edu/~kozen/Papers/Structural.pdf%7Cdoi=10.1017/S0960129515000493 https://www.xn--pdrot-bsa.fr/slides/rapido-06-15.pdf http://www.cs.ru.nl/B.Jacobs/PAPERS/JR.pdf http://www.labri.fr/perso/casteran/RecTutorial.pdf

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 9 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software