Recursive coalgebras of finitary functors
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 41 (2007) no. 4, pp. 447-462.

Voir la notice de l'article dans Numdam

For finitary set functors preserving inverse images, recursive coalgebras A of Paul Taylor are proved to be precisely those for which the system described by A always halts in finitely many steps.

DOI : 10.1051/ita:2007028
Classification : 18A25, 08C05, 68R65
Mots-clés : recursive coalgebra, coalgebra, definition by recursivity 
@article{ITA_2007__41_4_447_0,
     author = {Ad\'amek, Ji\v{r}{\'\i} and L\"ucke, Dominik and Milius, Stefan},
     title = {Recursive coalgebras of finitary functors},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {447--462},
     publisher = {EDP-Sciences},
     volume = {41},
     number = {4},
     year = {2007},
     doi = {10.1051/ita:2007028},
     mrnumber = {2377973},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/articles/10.1051/ita:2007028/}
}
TY  - JOUR
AU  - Adámek, Jiří
AU  - Lücke, Dominik
AU  - Milius, Stefan
TI  - Recursive coalgebras of finitary functors
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 2007
SP  - 447
EP  - 462
VL  - 41
IS  - 4
PB  - EDP-Sciences
UR  - https://geodesic-test.mathdoc.fr/articles/10.1051/ita:2007028/
DO  - 10.1051/ita:2007028
LA  - en
ID  - ITA_2007__41_4_447_0
ER  - 
%0 Journal Article
%A Adámek, Jiří
%A Lücke, Dominik
%A Milius, Stefan
%T Recursive coalgebras of finitary functors
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2007
%P 447-462
%V 41
%N 4
%I EDP-Sciences
%U https://geodesic-test.mathdoc.fr/articles/10.1051/ita:2007028/
%R 10.1051/ita:2007028
%G en
%F ITA_2007__41_4_447_0
Adámek, Jiří; Lücke, Dominik; Milius, Stefan. Recursive coalgebras of finitary functors. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 41 (2007) no. 4, pp. 447-462. doi : 10.1051/ita:2007028. https://geodesic-test.mathdoc.fr/articles/10.1051/ita:2007028/

Cité par Sources :