A general Galois theory for cofunctions and corelations

Terminal coalgebras in well-founded set theory

Michael Barr · Theoretical Computer Science · 1993 · 269 citations

Natural Sciences, Mathematics, Algebra +7

An approach to object semantics based on terminal co-algebras

Horst Reichel · Mathematical Structures in Computer Science · 1995 · 149 citations

Computing, Computer Science, Formal Methods +13

Algebra valued functors in general and tensor products in particular

Peter Freyd · Colloquium Mathematicum · 1966 · 112 citations · Full text

Natural Sciences, Mathematics, Algebra +10

Universal coalgebra: a theory of systems

J.J.M.M. Rutten · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1996 · 89 citations · Full text

Computing, Computer Science, Algebra +9