On Finitary Functors and Their Presentations - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2012

On Finitary Functors and Their Presentations

Jiří Adámek
  • Fonction : Auteur
  • PersonId : 1010357
Institut für Theoretische Informatik
Stefan Milius
  • Fonction : Auteur
  • PersonId : 1010358
Institut für Theoretische Informatik
Lawrence S. Moss
  • Fonction : Auteur
  • PersonId : 1010359
Department of mathematics [Bloomington]

Résumé

Finitary endofunctors of locally presentable categories are proved to have equational presentations. Special attention is paid to the Hausdorff functor of non-empty compact subsets of a complete metric space.

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
978-3-642-32784-1_4_Chapter.pdf (215.07 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Hal Ifip  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01539879

Soumis le : jeudi 15 juin 2017-15:02:43

Dernière modification le : vendredi 19 novembre 2021-12:42:03

Archivage à long terme le : mercredi 13 décembre 2017-12:17:13

Télécharger pour visualiser

Dates et versions

hal-01539879 , version 1 (15-06-2017)

Licence

Paternité

Identifiants

Citer

Jiří Adámek, Stefan Milius, Lawrence S. Moss. On Finitary Functors and Their Presentations. 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.51-70, ⟨10.1007/978-3-642-32784-1_4⟩. ⟨hal-01539879⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP-LNCS IFIP IFIP-CMCS IFIP-LNCS-7399 IFIP-ETAPS
148 Consultations
318 Téléchargements

Altmetric

Partager

More