A Small Final Coalgebra Theorem - 九大コレクション

＜テクニカルレポート＞
A Small Final Coalgebra Theorem

作成者	著者識別子 K000169 作成者名 Kawahara, Yasuo 河原, 康雄所属機関所属機関名 Research Institute of Fundamental Information Science, Kyushu University 九州大学理学部附属基礎情報学研究施設
作成者	著者識別子 K000173 作成者名 Mori, Masao 森, 雅生所属機関所属機関名 Department of Information Systems, Interdisciplinary Graduate School of Engineering Science, Kyushu University 九州大学大学院総合理工学研究科情報システム学専攻
本文言語	英語
出版者	Research Institute of Fundamental Information Science, Kyushu University
出版者	九州大学理学部附属基礎情報学研究施設
発行日	1994-06
収録物名	RIFIS Technical Report
巻	90
出版タイプ	Accepted Manuscript
アクセス権	open access
関連DOI	RIFIS Technical Report \|\| 90
関連DOI	http://www.i.kyushu-u.ac.jp/research/report.html
関連URI	RIFIS Technical Report \|\| 90
関連URI	http://www.i.kyushu-u.ac.jp/research/report.html
関連情報	RIFIS Technical Report \|\| 90
関連情報	http://www.i.kyushu-u.ac.jp/research/report.html
概要	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.

ファイル	ファイルタイプ	サイズ	閲覧回数	説明
90.ps.tar	pdf	181 KB	146
90.ps	tgz	70.9 KB	11