<journal article>
A small final coalgebra theorem
Creator | |
---|---|
Language | |
Publisher | |
Date | |
Source Title | |
Vol | |
Issue | |
First Page | |
Last Page | |
Publication Type | |
Access Rights | |
Related DOI | |
Related URI | |
Relation | |
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. |
Hide fulltext details.
File | FileType | Size | Views | Description |
---|---|---|---|---|
A_small_final_coalgebra_theorem | 222 KB | 404 |
Details
Record ID | |
---|---|
Peer-Reviewed | |
ISSN | |
DOI | |
NCID | |
Type | |
Created Date | 2009.04.22 |
Modified Date | 2017.01.25 |