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

On Finitary Functors and Their Presentations

Jiří Adámek
  • Fonction : Auteur
  • PersonId : 1010357
Stefan Milius
  • Fonction : Auteur
  • PersonId : 1010358
Lawrence S. Moss
  • Fonction : Auteur
  • PersonId : 1010359

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.
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)

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⟩
124 Consultations
273 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More