Abstract:
We prove that every nitary polynomial endofunctor of a category C has a nal coalgebra, provided that C is locally Cartesian closed, it has nite coproducts and
Citations
|
302
|
Introduction to Higher Order Categorical Logic
– Lambek, Scott
- 1986
|
|
108
|
Locally Presentable and Accessible Categories
– Adámek, Rosick´y
- 1994
|
|
102
|
Terminal coalgebras in well-founded set theory
– Barr
- 1993
|
|
76
|
Weakly distributive categories
– Cockett, Seely
- 1997
|
|
34
|
Locally cartesian closed categories and type theory
– Seely
- 1984
|
|
34
|
A completeness theorem in the modal logic of programs
– Segerberg
- 1977
|
|
29
|
Shapely types and shape polymorphism
– Jay, Cockett
- 1994
|
|
22
|
Fundamental properties of in trees
– Courcelle
- 1983
|
|
17
|
The eective topos
– Hyland
- 1982
|
|
12
|
Terminal sequences for accessible endofunctors
– Worrell
- 1999
|
|
8
|
Exponentiable morphisms, partial products and pullback complements
– Dyckhoff, Tholen
- 1987
|
|
7
|
Mu-Bicomplete Categories and Parity Games
– Santocanale
- 2002
|
|
6
|
Coequalizers and free triples
– Barr
- 1970
|
|
5
|
Categories of containers
– Abbot, Altenkirch, et al.
- 2003
|
|
5
|
On the structure of categories of coalgebras. Theoret
– Johnstone, Power, et al.
- 2001
|
|
5
|
Algebraic theories in toposes
– Johnstone, Wraith
- 1978
|
|
4
|
The extensive completion of a distributive category
– Cockett, Lack
- 2001
|
|
4
|
Free algebras, input processes and free
– Trnkov'a, Ad'amek, et al.
- 1975
|
|
3
|
Induction, coinduction and adjoints
– Cockett, Santocanale
- 2002
|
|
3
|
Limit spaces and closed span categories
– Day
- 1974
|
|
3
|
Topos Theory, volume 10 of L.M.S. Monographs
– Johnstone
- 1977
|
|
3
|
Categories localement internes
– Penon
- 1974
|
|
2
|
On the greatest point of a set functor
– Adamek, Koubek
- 1995
|
