Centre for Mathematics, University of Coimbra

<Reference List>
Type:	Preprint
National /International:	International
Title:	Well-pointed coalgebras
Publication Date:	2012-07-31
Authors:	- Jirí Adámek - Stefan Milius - Lawrence S. Moss - Lurdes Sousa
Abstract:	For set functors 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 [21] and Taylor [28]. 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.
Institution:	DMUC 12-29
Online version:	http://www.mat.uc.pt...prints/eng_2012.html
Download:	Not available