A general Galois theory for cofunctions and corelations

被引：6

作者：

Pöschel, R ^{[1
]}

Rössiger, M ^{[1
]}

机构：

[1] Tech Univ Dresden, Inst Algebra, D-01062 Dresden, Germany

来源：

ALGEBRA UNIVERSALIS | 2000年 / 43卷 / 04期

关键词：

coalgebra; cofunction; corelation; operation; relation; Galois theory; bisimulation;

D O I：

10.1007/s000120050163

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

Cofunctions and corelations are introduced and a corresponding Galois connection is studied in analogy to operations and relations in universal algebra. The Galois closed sets are characterized by local closures of clones of cofunctions and corelations, respectively. As an application concrete characterization problems are considered e.g. for strong bisimulations.

引用

页码：331 / 345

页数：15

共 18 条

[1]

[Anonymous], 1996, CSR9652 CWI

[2] TERMINAL COALGEBRAS IN WELL-FOUNDED SET-THEORY [J].

BARR, M .

THEORETICAL COMPUTER SCIENCE, 1993, 114 (02) :299-315

[3]

CSAKANY B, 1985, ACTA SCI MATH, V48, P75

[4]

CSAKANY B, 1984, STUD SCI MATH HUNG, V19, P431

[5]

DRBOHLAV K, 1971, ACTA FAC RERUM NAT U, P17

[6] ALGEBRA VALUED FUNCTORS IN GENERAL AND TENSOR PRODUCTS IN PARTICULAR [J].

FREYD, P .

COLLOQUIUM MATHEMATICUM, 1966, 14 :89-&

[7]

HOEHNE HJ, 1977, LECT NOTES COMPUTER, V56, P260

[8]

Jacobs B., 1996, Object orientation with parallelism and persistence, P83

[9]

JACOBS B, 1997, B EATCS, V62, P222

[10]

Jacobson N, 1989, BASIC ALGEBRA, V2

← 1 2 →