Equational axiomatizability for coalgebra

Grigore Roşu

doi:10.1016/S0304-3975(00)00129-8

Equational axiomatizability for coalgebra

Research output: Contribution to journal › Article › peer-review

Abstract

A characterization result for equationally definable classes of certain coalgebras (including basic hidden algebra) shows that a class of coalgebras is definable by equations if and only if it is closed under coproducts, quotients, sources of morphisms and representative inclusions. The notions of equation and satisfaction are axiomatized in order to include the different approaches in the literature.

Original language	English (US)
Pages (from-to)	229-247
Number of pages	19
Journal	Theoretical Computer Science
Volume	260
Issue number	1-2
DOIs	https://doi.org/10.1016/S0304-3975(00)00129-8
State	Published - 2001
Externally published	Yes

Keywords

Birkhoff axiomatizability
Category theory
Coalgebra
Logic

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Online availability

10.1016/S0304-3975(00)00129-8

Library availability

Discover UIUC Full Text

Cite this

@article{80e8248cff7247769aac9d3025b95abb,

title = "Equational axiomatizability for coalgebra",

abstract = "A characterization result for equationally definable classes of certain coalgebras (including basic hidden algebra) shows that a class of coalgebras is definable by equations if and only if it is closed under coproducts, quotients, sources of morphisms and representative inclusions. The notions of equation and satisfaction are axiomatized in order to include the different approaches in the literature.",

keywords = "Birkhoff axiomatizability, Category theory, Coalgebra, Logic",

author = "Grigore Ro{\c s}u",

year = "2001",

doi = "10.1016/S0304-3975(00)00129-8",

language = "English (US)",

volume = "260",

pages = "229--247",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier B.V.",

number = "1-2",

}

TY - JOUR

T1 - Equational axiomatizability for coalgebra

AU - Roşu, Grigore

PY - 2001

Y1 - 2001

N2 - A characterization result for equationally definable classes of certain coalgebras (including basic hidden algebra) shows that a class of coalgebras is definable by equations if and only if it is closed under coproducts, quotients, sources of morphisms and representative inclusions. The notions of equation and satisfaction are axiomatized in order to include the different approaches in the literature.

AB - A characterization result for equationally definable classes of certain coalgebras (including basic hidden algebra) shows that a class of coalgebras is definable by equations if and only if it is closed under coproducts, quotients, sources of morphisms and representative inclusions. The notions of equation and satisfaction are axiomatized in order to include the different approaches in the literature.

KW - Birkhoff axiomatizability

KW - Category theory

KW - Coalgebra

KW - Logic

UR - http://www.scopus.com/inward/record.url?scp=0034920955&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0034920955&partnerID=8YFLogxK

U2 - 10.1016/S0304-3975(00)00129-8

DO - 10.1016/S0304-3975(00)00129-8

M3 - Article

AN - SCOPUS:0034920955

SN - 0304-3975

VL - 260

SP - 229

EP - 247

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 1-2

ER -

Equational axiomatizability for coalgebra

Abstract

Keywords

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this