 |
Laboratoire d'informatique fondamentale de Marseille UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence |
 |
|
Laboratoire d'informatique fondamentale de Marseille UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence |
|
| HAL : hal-00111230, version 1 |
| arXiv : math.CT/0403227 |
| Fiche détaillée |  Récupérer au format |
 |
| Electronic Notes in Theoretical Computer Science, Warsaw : Pologne (2003) |
|
|
|
|
| Logical Construction of Final Coalgebras |
|
|
| Luigi Santocanale 1 |
|
|
| (2003) |
|
|
|
| We prove that every finitary polynomial endofunctor of a category $C$ has a final coalgebra if $C$ is locally Cartesian closed, has finite disjoint coproducts and a natural number object. More generally, we prove that the category of coalgebras for such an endofunctor has all finite limits. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'informatique Fondamentale de Marseille (LIF) |
|
|
|
CNRS : UMR6166 – Université de la Méditerranée - Aix-Marseille II – Université de Provence - Aix-Marseille I |
|
|
|
|
|
|
|
|
|
| Domaine | : | Physique/Matière Condensée/Matière Molle |
|
|
| Lien vers le texte intégral : |
|
| http://fr.arXiv.org/abs/math.CT/0403227 |
| hal-00111230, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00111230 | |
| oai:hal.archives-ouvertes.fr:hal-00111230 | |
| Contributeur : Import Arxiv | |
| Soumis le : Samedi 4 Novembre 2006, 11:50:38 | |
| Dernière modification le : Samedi 4 Novembre 2006, 11:50:38 | |
