106 articles – 48 Notices  [english version]
HAL : hal-00111230, version 1
arXiv : math.CT/0403227
Fiche concise  Récupérer au format
Logical Construction of Final Coalgebras
Santocanale L.
Electronic Notes in Theoretical Computer Science, Warsaw : Pologne (2003) - http://hal.archives-ouvertes.fr/hal-00111230
Type de publication : Communications sans actes
Domaine : Physique/Matière Condensée/Matière Molle
Titre : Logical Construction of Final Coalgebras
Auteur(s) : Luigi Santocanale 1
Laboratoire :
1 :  Laboratoire d'informatique Fondamentale de Marseille (LIF)
http://www.lif.univ-mrs.fr/
CNRS : UMR6166 – Université de la Méditerranée - Aix-Marseille II – Université de Provence - Aix-Marseille I
CMI 39, Rue Joliot Curie 13453 MARSEILLE CEDEX 13
France
Résumé : 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.
Langue du texte
intégral :		 Anglais
Date de production,
écriture :		 2003
Titre de la conférence : Electronic Notes in Theoretical Computer Science
Date de la conférence : 2003
Ville : Warsaw
Pays : Pologne
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