BibTeX
@MISC{Gumm_typesand,
author = {H. Peter Gumm and Tobias Schröder},
title = {TYPES AND COALGEBRAIC STRUCTURE},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We relate weak limit preservation properties of coalgebraic type functors F to structure theoretic properties of the class of all F-coalgebras.
Citations
| 279 | Universal coalgebra: a theory of systems - Rutten - 2000 |
| 208 | Abstract and Concrete Categories - Adámek, Herrlich, et al. - 1990 |
| 117 | Terminal coalgebras in well-founded set theory - Barr - 1993 |
| 45 | A fixpoint theorem for complete categories - Lambek - 1968 |
| 25 | Elements of the general theory of coalgebras - Gumm - 1999 |
| 25 | Coalgebraic logic, Annals of Pure and Applied Logic 96 - Moss - 1999 |
| 17 | Some properties of set functors - Trnková - 1969 |
| 10 | Monoid-labeled transition systems - Gumm, Schröder - 2001 |
| 9 | Implementing collection classes with monads - Manes - 1998 |
| 6 | A final coalgebra theorem, Proceedings category theory and computer science - Aczel, Mendler - 1989 |
| 4 | Coalgebren und Funktoren - Schröder - 2001 |
| 3 | of bounded type - Coalgebras - 2000 |
| 3 | private communication - Münster |
| 1 | and corrections to ‘Terminal coalgebras in well-founded set theory - Additions - 1994 |
| 1 | category theory mailing list - capubcategories |
| 1 | and complete covarieties, Theoretical Computer Science (2001 - Covarieties |
