Fixed Points of Functors - A Short Abstract - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Fixed Points of Functors - A Short Abstract

Résumé

Fixed points of endofunctors play a central role in program semantics (initial algebras as recursive specification of domains), in coalgebraic theory of systems (terminal coalgebras and coinduction) and in a number of other connections such as iterative theories (rational fixed point). In this survey we present some older and new results on the structure of the three fixed points we have mentioned.
Fichier principal
Vignette du fichier
418352_1_En_1_Chapter.pdf (129.03 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01446029 , version 1 (25-01-2017)

Licence

Paternité

Identifiants

Citer

Jiří Adámek. Fixed Points of Functors - A Short Abstract. 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.1-4, ⟨10.1007/978-3-319-40370-0_1⟩. ⟨hal-01446029⟩
56 Consultations
372 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More