Please use this identifier to cite or link to this item: http://hdl.handle.net/10316/43898
Title: Well-Pointed Coalgebras
Authors: Adámek, Jiří 
Milius, Stefan 
Moss, Lawrence S 
Sousa, Lurdes 
Issue Date: 9-Aug-2013
Publisher: Logical Methods in Computer Science e. V.
Project: PEst-C/MAT/UI0324/2011 
Serial title, monograph or event: Logical Methods in Computer Science
Volume: 9
Issue: 3
Abstract: For endofunctors of varieties preserving intersections, a new description of the final coalgebra and the initial algebra is presented: the former consists of all well-pointed coalgebras. These are the pointed coalgebras having no proper subobject and no proper quotient. The initial algebra consists of all well-pointed coalgebras that are well-founded in the sense of Osius and Taylor. And initial algebras are precisely the final well-founded coalgebras. Finally, the initial iterative algebra consists of all finite well-pointed coalgebras. Numerous examples are discussed e.g. automata, graphs, and labeled transition systems.
URI: http://hdl.handle.net/10316/43898
Other Identifiers: 10.2168/LMCS-9(3:2)2013
DOI: 10.2168/LMCS-9(3:2)2013
Rights: openAccess
Appears in Collections:I&D CMUC - Artigos em Revistas Internacionais

Files in This Item:
File Description SizeFormat
wellpointed.pdf308.48 kBAdobe PDFView/Open
Show full item record

SCOPUSTM   
Citations

14
checked on May 29, 2020

WEB OF SCIENCETM
Citations

11
checked on Sep 14, 2020

Page view(s) 20

600
checked on Sep 21, 2020

Download(s)

57
checked on Sep 21, 2020

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.