Concepedia

On coalgebra based on classes

Jiřı́ Adámek, Stefan Milius, Jiřı́ Velebil

Theoretical Computer Science · 2004 · 29 citations · 15 references

DOI

Concepts

References

15

Universal coalgebra: a theory of systems

J.J.M.M. Rutten · Theoretical Computer Science · 2000 · 1.2K citations

, , +9

Terminal coalgebras in well-founded set theory

Michael Barr · Theoretical Computer Science · 1993 · 269 citations

, , +7

On the bisimulation proof method

Davide Sangiorgi · Mathematical Structures in Computer Science · 1998 · 221 citations

, , +10

A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on

G. M. Kelly · Bulletin of the Australian Mathematical Society · 1980 · 206 citations · Full text

, , +13

Free algebras and automata realizations in the language of categories

Jiřı́ Adámek · Czech Digital Mathematics Library (Institute of Mathematics CAS) · 1974 · 159 citations · Full text

, , +12