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

10
checked on Apr 12, 2019

WEB OF SCIENCETM
Citations

2
checked on May 11, 2018

Page view(s) 20

543
checked on May 21, 2019

Download(s)

20
checked on May 21, 2019

Google ScholarTM

Check

Altmetric


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