A small final coalgebra theorem - Collections

＜journal article＞
A small final coalgebra theorem

Creator	Author PID K000169 Creator Name Kawahara, Yasuo 河原, 康雄 Affiliation Affiliation Name Department of Informatics, Kyushu University 九州大学大学院システム情報科学研究院情報理学部門
Creator	Author PID K000173 Creator Name Mori, Masao 森, 雅生 Affiliation Affiliation Name Department of Informatics, Kyushu University 九州大学大学院システム情報科学研究院情報理学部門
Language	English
Publisher	Elsevier
Date	2000-02
Source Title	Theoretical Computer Science
Vol	233
Issue	1/2
First Page	129
Last Page	145
Publication Type	Accepted Manuscript
Access Rights	open access
Related DOI	Theoretical Computer Science \|\| 233(1/2) \|\| p129-145
	http://hyoka-inf.ofc.kyushu-u.ac.jp/~mori/
	http://www.i.kyushu-u.ac.jp/~kawahara/
Related URI	Theoretical Computer Science \|\| 233(1/2) \|\| p129-145
	http://hyoka-inf.ofc.kyushu-u.ac.jp/~mori/
	http://www.i.kyushu-u.ac.jp/~kawahara/
Relation	Theoretical Computer Science \|\| 233(1/2) \|\| p129-145
	http://hyoka-inf.ofc.kyushu-u.ac.jp/~mori/
	http://www.i.kyushu-u.ac.jp/~kawahara/
Abstract	This paper presents an elementary and self-contained proof of an existence theorem of final coalgebras for endofunctors on the category of sets and functions.

File	FileType	Size	Views	Description
A_small_final_coalgebra_theorem	pdf	222 KB	367